Editor of the Journal of Logic, Language and Information
Editor of Mathematical Logic Quarterly
Editor of the FoLLI subline of LNCS
SC member of Algebra and Coalgebra meet Proof Theory
Co-organizer of the Algebra and Coalgebra Seminar ILLC, University of Amsterdam.
Co-organizer of the ToLo VI, Tbilisi, Georgia, 2-6 July, 2018.
Co-organizer of the SYSMICS Summer School, Les Diablerets, Switzerland, 22 - 26 August, 2018.
Chair of the Organizing Committee of Syntax meets Semantics 2019, Amsterdam, 21 - 25 January, 2019.
Gianluca Grilletti (co-supervised with Floris Roelofsen and Ivano Ciardelli)
Julia Ilin, (Promotor: Yde Venema). Thesis entitled: Filtration revisited: lattices of stable non-classical logics. (Defence date: 15 June, 2018).
Aybuke Ozgun, (co-supervised with Hans van Ditmarsch and Sonja Smets). Thesis entitled: Evidence in Epistemic Logic: A Topological Perspective. (Defence date: 4 October, 2017).
Sumit Sourabh, (co-supervised with Alessandra Palmigiano and Yde Venema). Thesis entitled: Correspondence and Canonicity in Non-Classical Logic. (Defence date: 9 September, 2015).