Colloquium on Mathematical Logic

Overview of Talks given in 2017-2018

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