talks

a selection of presentations that I gave

  • Formal Epistemology Meets Philosophy of AI (MCMP, LMU Munich). Explaining Neural Networks with Reasons. 5–6 July 2025.
  • LMU Munich, Munich Center for Mathematical Philosophy. Logic Colloquium. Universal analog computation. 12 June 2025.
  • Epistemology and Theory of Machine Learning (MCMP, LMU Munich). Robustness and Trustworthiness in AI: A No-Go Result From Formal Epistemology. 30–31 May 2025.
  • Social Choice for AI Ethics and Safety 2025 (SC4AI’25). Part of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025) in Detroit, Michigan, USA. Learning How to Vote With Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks. 19 May 2025.
  • NTU-LMU Workshop on Synonymy in AI and Logic (National Taiwan University). Learning How to Vote With Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks. 11 April 2025.

  • Workshop on Learning and Logic (LeaLog@CSL). Part of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) in Amsterdam, The Netherlands. Learning How to Vote With Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks. 10 February 2025.

  • Research Seminar in Decision and Action Theory (MCMP, LMU Munich). Learning How to Vote With Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks. 13 November 2024.
  • University of Cambridge, Department of Applied Mathematics and Theoretical Physics. Domain-theoretic Semantics for Dynamical Systems: From Analog Computers to Neural Networks. 7 November 2024.
  • University of Groningen. Universal Analog Computation: Fraïssé limits of dynamical systems. 25 September 2024.
  • Logic and AI (Institute for Advanced Study, University of Amsterdam). Semantics for Non-symbolic Computation: Including Neural Networks and Analog Computers. 16 July 2024.

  • Topology, Algebra, and Categories in Logic (TACL) 2024 (University of Barcelona). Semantics for Non-symbolic Computation: Including Neural Networks and Analog Computers. 16 July 2024.

  • Work in Progress Talk Series (MCMP, LMU Munich). The Logic of Dynamical Systems is Relevant. 7 December 2023.

  • Machine Learning meets Mathematical Philosophy (LMU Munich). Semantics for Sub-symbolic Computation. 16 June 2023.

  • Colloquium Logicum 2022 of the DVMLG (University of Konstanz). Dynamical Systems via Domains: Semantics for Non-symbolic Computation. 26–28 September 2022.
  • Applied Category Theory Conference 2022 (University of Strathclyde, Glasgow, Scotland). Dynamical Systems via Domains (distinguished presentation). 18–22 July 2022. Slides and video recording.
  • University of Amsterdam. The ILLC Colloquium. Logic in Explainable AI. 10 June 2022.

  • University of Amsterdam. Meaning, Logic, and Cognition (MLC) Seminar. Stability: Fitch’s lemma and AI-safety. 13 May 2022.

  • University of St Andrews, Arché. Metaphysics & Logic Seminar. The Structure of Hyperintensionality. 20 April 2020. (Online.)

  • LMU Munich, Munich Center for Mathematical Philosophy. Logic Colloquium. Logics of Synonymy. 5 December 2019.
  • University of Amsterdam, ILLC. Logic of Conceivability Seminar. Stability: A novel interpretation of Fitch’s lemma. 2 October 2019.
  • University of Vienna, Gödel’s Legacy Conference. Stability of foundational concepts: Gödelian arguments from general relativity. 25–27 July 2019.
  • Utrecht University, Department of Philosophy and Religious Studies. TULIPS. Analyzing the Behavior of Transition Systems. 2 April 2019.

  • University of Amsterdam, ILLC. Algebra/Coalgebra Seminar. Trajectory domains: analyzing the behavior of transition systems. 13 March 2019.

  • University of Oxford, Department of Computer Science. OASIS: The Oxford Advanced Seminar on Informatic Structures. Trajectory domains: describing the behavior of computing systems. 30 November 2018.
  • LMU Munich, Munich Center for Mathematical Philosophy. Logic Colloquium. HYPE, Information, and Dynamical Systems. 8 November 2018.
  • Czech Academy of Sciences, Prague. Machine learning and explanation in cognitive science. Towards a domain-theoretic framework for describing the behavior of neural networks. 15 October 2018.
  • LOGICA 2018, Hejnice monastery. A Logic of State Spaces. 18-22 June 2018.

  • University of Amsterdam, ILLC. Logic of Conceivability Seminar. Logics of Synonymy. 21 February 2018.

  • Ghent University, Centre for Logic and Philosophy of Science. Hyperintensional Logics and Truthmaker Semantics. Logics of Synonymy. 15 December 2017.