| Thursday October 5, 2017 | Room 610, Hans Freudenthal Building, Utrecht | 15:00--16:00 | Alex Simpson: A family of atomic toposes | Abstract |
|---|---|---|---|---|
| Tuesday April 10, 2018 | Room 106, Janskerkhof 15A, Utrecht | 16:00--17:00 | Joost Joosten: Münchhausen provability | Abstract |
| Monday May 14, 2018 | Room F1.15, Science Park 107, Amsterdam | 14:00-15:00 | Zlatan Damnjanovic : On Weak Fragments of Set Theory and Arithmetic | Abstract |
| Thursday May 24, 2018 | Room BBG 005, Uithof, Utrecht | 16:00-17:00 | Sven Bosman : Stability Theory | Abstract |
| Tuesday May 29, 2018 | Room 007, Drift 6, Utrecht | 15:30-17:00 | Jetze Zoethout : Provability Logic and the Completeness Principle | Abstract |
| Monday June 25, 2018 | Room BBG 065, Buys Ballot Building, Uithof, Utrecht | 15:00-16:00 | Menno de Boer : The Gluing Construction for Path Categories | Abstract |
| Thursday June 28, 2018 | Room F2.19, Science Park 107, Amsterdam | 13:00-14:00 | Kazuhiko Sakaguchi (University of Tsukuba) : Bootstrapping Fast Reflective Tactics for Reasoning Modulo AC with a Verified and Optimized Sorting Function in Coq | Abstract |
| Thursday June 28, 2018 | Room BBG 165, Buys Ballot Building, Uithof, Utrecht | 14:00-15:00 | Tom de Jong: Realizability with Scott's Graph Model | Abstract |
| Thursday June 28, 2018 | Room BBG 165, Buys Ballot Building, Uithof, Utrecht | 15:15-16:15 | Mark Kamsma: Classifying Topoi and Model Theory | Abstract |