Colloquium on Mathematical Logic

Rosalie Iemhoff (mail: Rosalie.Iemhoff AT
Benno van den Berg (mail: bennovdberg AT
Jaap van Oosten (mail: J.vanOosten AT

Starting 2000, the Colloquium on Mathematical Logic is a joint event organized by the logicians at the Universiteit van Amsterdam and the Universiteit Utrecht.
The CML meets irregularly in one of the two cities.
The Colloquium intends to bring together researchers working in Mathematical Logic and Logic related areas of Theoretical Computer Science and Philosophy.
It is also meant as a forum for (PhD) students and recent PhD's to present their own work.
We welcome talks! If you are interested, please contact us.

For an overview of talks in recent years, see
Talks 2000-2001
Talks 2001-2002
Talks 2002-2003
Talks 2003-2004
Talks 2004-2005
Talks 2005-2006
Talks 2006-2007
Talks 2007-2008
Talks 2008-2009
Talks 2009-2010
Talks 2010-2011
Talks 2011-2012
Talks 2012-2013
Talks 2013-2014
Talks 2014-2015
Talks 2015-2016
Talks 2016-2017
Colloquium Location in Amsterdam:
Science Park 904, 1098 XH Amsterdam (the room will vary) Here you find directions for reaching the Science Park.

Colloquium Location in Utrecht
Wiskundegebouw, Budapestlaan 6 (or as indicated).
Bus 11 or 12 from Utrecht Central Station (stop "Botanische Tuinen").

Announcements are on this page and on the Google forum Mathematical Logic in the Netherlands.

Program 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