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.