talks
a selection of presentations that I gave
- 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.