Recent event (co-)organization:
- TbiLLC’23 workshop on learning and logic. Sep 21, 2023, Telavi (Georgia).
- Joint KNAW/VvL webinar on causal reasoning and inference. Jan 24, 2023, online.
- Guarded Fragments: Current Trends and Applications (GF@25). Apr 5-6, 2022, online.
Recent academic service:
- Committee member ASL Committee on Education (per Jan 1, 2023)
- Board member of VvL (Dutch Association for Logic and the Philosophy of Exact Sciences)
- PC member PODS 2025, ICALP 2024, AIML 2024, KR 2023, DPFO 2023, Logic4Peace 2022, KR 2022
Invited lectures / tutorials:
- Keynote lecture, 2023 Workshop on Interdisciplinary Research in Logic (IRL 2023)
- Distinguished Lecture, University of Bergen Department of Informatics (Nov 2023)
- Invited lecture, Tbilisi Symposium on Language, Logic, and Computation (TbiLLC’23).
- Invited lecture, Highlights of Logic, Games and Automata (Highlights’21).
- Invited lecture, 2021 Samsung AI Workshop “When deep learning meets logic”.
- Invited lecture, International Workshop on Description Logics (DL’20).
- Invited lecture, Mathematical Foundations of Informatics (MFOI’16).
- Tutorial, International Conference on Extending Database Technology (EDBT’13, with Phokion Kolaitis and Wang-Chiew Tan).
- Invited lecture, Tbilisi Symposium on Language, Logic, and Computation (TbiLLC’13).
- Invited lecture, International Conference on Advances in Modal Logic (AIML’12).
- Invited lecture, International Workshop on Automata and Algorithmic Logic (AAL’09).
- Invited lecture, International Workshop on Hybrid Logic (HyLo’07).
- Invited lecture, International Workshop on Methods for Modalities (M4M’07).
- Invited lecture, International Workshop on Inference in Computational Semantics (ICOS’03).
Teaching
- Logic, Data Examples, and Learning (ESSLLI 2023 Summer School, with Carsten Lutz)
- Seminar Mathematical Logic: Finite Structures and Homomorphisms (UvA, MSc Logic, 2023)
- Computational Learning Theory, Knowledge Representation, and Logic. (UvA, MSc Logic, 2022).
- Inleiding logica (UvA, BSc informatiekunde, 2022, with Robert van Rooij).
- What Makes Logics (Un)Decidable? (UvA, short course , 2022).
- Phil 154/254: Modal logic (Stanford, 2019).
- CMPS 17: Social Networks (UC Santa Cruz , 2012-14).
- Modern Database Dependency Theory (ESSLLI 2014, with Michael Benedikt).
- Phil 152/252: Computability and Logic (Stanford, 2013).
- Model Theory for Extensions of Modal Logic (ESSLLI 2008 summer school, with David Gabelaia).
- Model Theory for Modal Logic (2007 Vienna-Tbilisi Summer School in Logic and Language, with David Gabelaia).
- Automated Reasoning (UvA 2005, with David Ahn).
- Hybrid Logics (ESSLLI 2004, with Massimo Franceschet).