From 1 January, 2014 my new affiliation is the Institute for Logic, Language and Computation at University of Amsterdam. This webpage will soon be moved to the UvA server.
Monthly Seminar on Provability, Interpretability, Intuitionism and Arithmetic, PIIA a joint event of Amsterdam, Nijmegen and Utrecht Universities.
Algebra and Coalgebra meet Proof Theory, ALCOP 2013. Utrecht, 18-20 April, 2013.
Mathematical Foundations of Programming Semantics Twenty-Ninth Conference, MFPS XXIX. Tulane University, New Orleans, Louisiana, USA, 23-25 June, 2013.
Topology, Algebra and Categories in Logic, TACL 2013. Department of Mathematics, Vanderbilt University, Nashville, USA, 28 July - 1 August, 2013.
The Tenth Tbilisi Symposium on Language, Logic and Computation. Gudauri, Georgia, 23-28 September, 2013.
The Fourth International Workshop on Logic, Rationality and Interaction. Hangzhou, China, 9-12 October, 2013.
Advances in Modal Logic 2014. Gronigen, The Netherlands, 5-8 August, 2014.