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.
PC member of TbiLLC 2019, WoLLIC 2019, TACL 2019, SYSMICS 2019, AWPL-IV, M4M 2017, TACL 2017, TbiLLC 2017, SYSMICS 2016, ALCOP 2016, TbiLLC 2015, TACL 2015, AiML 2014, MFPS 2013, TbiLLC 2013, AiML 2012
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).