Conference organization:
- Conference PC chair ICDT 2026
- Conference PC co-chair TbiLLC 2025
- Summer school PC chair ESSLLI 2025
- Conference PC member PODS 2025, ICALP 2024, AIML 2024, KR 2024, KR 2023
- Workshop organizer LeaLog@CSL, February 10, 2025, Amsterdam
- Workshop organizer CIBD 2024, April 22-23, Amsterdam
- Workshop organizer LeaLog@TbiLLC. Sep 21, 2023, Telavi (Georgia).
- Workshop organizer KNAW/VvL webinar on causal reasoning and inference. Jan 24, 2023, online.
- Workshop organizer Guarded Fragments: Current Trends and Applications (GF@25). Apr 5-6, 2022, online.
Multi-year academic service:
- Committee member ASL Committee on Education
- Committee member DLPMST Commission on Logic Education
- Board member of VvL (Dutch Association for Logic and the Philosophy of Exact Sciences)
- Member of the editorial board of the Journal of Logic, Language and Information (JOLLI).
- Associate editor Proceedings of the ACM on Management of Data (PACMMOD).
Invited lectures / tutorials:
- Invited lecture, 2024 EACSL Annual Conference on Computer Science Logic 2024 (CSL’24)
- Keynote lecture, 2023 Workshop on Interdisciplinary Research in Logic (IRL’23)
- Distinguished Lecture, University of Bergen Department of Informatics (Nov 2023)
- Invited lecture, Tbilisi Symposium on Language, Logic, and Computation (TbiLLC’23).
Teaching
- A modern introduction to Craig interpolation (ESSLLI 2024 Summer School, w. Frank Wolter).
- Seminar Mathematical Logic: Finite Model Theory (UvA, MSc Logic, 2024)
- Computational Learning Theory, Knowledge Representation, and Logic. (UvA, MSc Logic, 2023).
- Logic, Data Examples, and Learning (ESSLLI 2023 Summer School, w. 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 Summer School, w. Michael Benedikt).
- Phil 152/252: Computability and Logic (Stanford, 2013).
- Model Theory for Extensions of Modal Logic (ESSLLI 2008 Summer School, w. David Gabelaia).
- Model Theory for Modal Logic (2007 Vienna-Tbilisi Summer School in Logic and Language, w. David Gabelaia).
- Automated Reasoning (UvA 2005, with David Ahn).
- Hybrid Logics (ESSLLI 2004 Summer School, w. Massimo Franceschet).