-
10 September 2026, Master of Logic defense, Louise Wilk
Date & Time:
Thursday 10 September 2026, 13:00
Title: One Knowledge Transformer to Rule Them All: Toward Symbolic Epistemic Planning
Location: F1.15, Science Park 107, Amsterdam
Supervisor: Malvin Gattinger
-
14 September 2026, Master of Logic defense, Max Wehmeier
Date & Time:
Monday 14 September 2026, 13:00
Title: Towards a Joyal-Tierney Theorem for Arrow Algebras
Location: room F3.20, Science Park 107, Amsterdam
Supervisor: Benno van den Berg
-
17 September 2026, Master of Logic defense, Tristan Hewitt
Date & Time:
Thursday 17 September 2026, 12:00
Title: Focus-style proof systems and interpolation for the alternation-free coalgebraic μ-calculus
Location: F1.15, Science Park 107, Amsterdam
Supervisor: Yde Venema
-
17 September 2026, Master of Logic defense, Mette Andersen
Date & Time:
Thursday 17 September 2026, 15:00
Title: Causally Sufficient, Semantically Misaligned: Distributed Alignment Search and the Limits of Causal Interpretability
Location: F1.15, Science Park 107, Amsterdam
Supervisor: Giovanni Cinà
-
24 September 2026, Master of Logic defense, Dennis Lindberg
Date & Time:
Thursday 24 September 2026, 09:00
Title: Solving Logic Puzzles with Answer Set Programming and Large Language Models
Location: F1.15, Science Park 107, Amsterdam
Supervisor: Arie Soeteman and Ronald de Haan
