Talks

Conferences & Workshops

Formalizing the Dershowitz-Manna Ordering Theorem in Lean 4. 29 July, 2025, ESSLLI, Bochum.
Formalizing Cyclic Tableaux for PDL in Lean. 26 June, 2025, Dutch Formal Methods Day, Amsterdam. A joint talk with Malvin Gattinger.
The Ongoing Work of Formalizing the Dershowitz-Manna Ordering Theorem in Lean4. 21 June, 2024, Dutch Logic PhD Day 2024, Amsterdam.
How to represent a Kripke model? BDDs versus Mental Programs. 14 June, 2024, SLSS, Reykjavík.
The Dutch Book Argument and Bounded Rationality. 2 July, 2022, LSE End of Year Students’ Philosophy Conference, London.
Tackling Logical Omniscience: A Probabilistic Extension of the Logic of Fast and Slow Thinking. 24 June, 2022, AAL, Online.

Comparing State-Representations for DEL Model Checking. 14 - 16 July, 2025, TARK, Düsseldorf.

Polymorphism and System F (Slides). 6 May, 2026, Amsterdam.
Monads: From Functional Programming to Logic (Slides). 2 March, 2026, Amsterdam.

Categories, Homotopy and O-minimality (Paper Discussion: Model Categories for O-minimal Geometry) (Slides). MoL O-minimality and Tame Topology project. June, 2026, Amsterdam.
Topological Categories (Slides). MoL Topology project. January, 2026, Amsterdam.
Paper Discussion: Categories for Dynamic Epistemic Logic (Slides (part1), Slides (part2)). 13 & 27 November, 2025, Ara, Amsterdam.

Digitize your own mathematics with Lean. 16 April, 2025, Leve de wiskunde!. Workshop for math teachers and students from grades 5 and 6. Amsterdam.
How can computers aid research in logic? 7 June, 2024, ILLC Open Day. Talk for colleagues from UvA, CWI, other academic institutions in the Netherlands and professional working in the industry. Amsterdam.