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 at the ILLC, University of Amsterdam.
PC member of 9th Methods for Modalities Workshop January 8-9, 2017, Indian Institute of Technology, Kanpur, India.
PC member of Topology, Algebra and Categories in Logic 2017 June 26-30, 2017, Prague, Czech Republic.
PC member of 12th Tbilisi Symposium on Logic, Language and Computation 2017 September 18-22, 2017, Georgia.
Aybuke Ozgun (co-supervised with Hans van Ditmarsch and Sonja Smets)
Sumit Sourabh (co-supervised with Alessandra Palmigiano and Yde Venema). Thesis entitled: Correspondence and Canonicity in Non-Classical Logic. (Defense date: 9 Sept, 2015).