| Friday September 6, 2013 | Universiteitsbibliotheek, Singel 425, 1012 WP Amsterdam, Doelenzaal | 09:45--17:30 | Meeting on Kripke models and Categorical Foundations of Intuitionistic logic: Moerdijk, Van den Berg, Lubarsky, De Jongh and Van Benthem | Web page |
|---|---|---|---|---|
| Wednesday September 11, 2013 | ILLC, Science Park 107, Amsterdam, Room F1.15 | 16:00--17:00 | Amar Hadzihasanovic | Functional interpretations and categorical models of nonstandard arithmetic Abstract |
| Wednesday October 16, 2013 | ILLC, Science Park 107, Amsterdam, Room F1.15 | 13:00--13:00 | Luca Spada | General affine adjunctions, Nullstellensätze, and dualities Abstract |
| Wednesday October 16, 2013 | ILLC, Science Park 107, Amsterdam, Room F1.15 | 14:15--15:15 | Fabio Pasquali | Sheaves and Cauchy-complete Categories in Doctrines Abstract |
| Wednesday October 16, 2013 | ILLC, Science Park 107, Amsterdam, Room F1.15 | 15:45--16:45 | Eyvind Briseid | On functional interpretations for systems of nonstandard arithmetic Abstract |
| Wednesday January 29, 2014 | ILLC, Science Park 904, Amsterdam, Room D1.114 | 17:00--18:00 | Jouko Väänänen (Helsinki) | Multiverse set theory and absolutely undecidable propositions Abstract |
| Thursday March 27, 2014 | Utrecht, Janskerkhof 13, room 0.06 | 16:00--17:00 | Lev Beklemishev (Moscow) | Positive Provability Logic -- for Uniform Reflection Principles Abstract |
| Wednesday April 23, 2014 | Utrecht, Janskerkhof 13, room 0.06 | 16:00--17:00 | Thierry Coquand (Gothenburg) | Constructive mathematics and univalent foundation Abstract |