Courses of 2025
- Introduction to Categorical Logic, Ivan Di Liberti (Göteborgs Universitet) and Lingyuan Ye (University of Cambridge)
- Proof Theory of Modal Logic, Marianna Girlando (ILLC, University of Amsterdam)
- Topological Approaches to Epistemic Logic, Aybüke Özgün (ILLC, University of Amsterdam)