Bi-weekly Algebra and Coalgebra Seminar at the ILLC, University of Amsterdam.
Monthly Seminar on Provability, Interpretability, Intuitionism and Arithmetic, PIIA a joint event of Amsterdam and Utrecht Universities.
Algebra and Coalgebra meet Proof Theory, ALCOP 2016. Vienna, 7-9, April, 2016.
Topological Methods in Logic, ToLo V. Tbilisi, Georgia, 13 - 17 June, 2016.
Syntax meets Semantics. Barcelona, 5- 9, September, 2016.
Aybuke Ozgun (co-supervised with Hans van Ditmarsch)
Sumit Sourabh (co-supervised with Alessandra Palmigiano and Yde Venema). Thesis entitled: Correspondence and Canonicity in Non-Classical Logic. (Defense date: 9 Sept, 2015).