CV Publications Teaching
Here is a list of some events I am involved in. 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. |
