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 TBA, Amsterdam 14:00-15:00 Zlatan Damnjanovic : TBA Abstract