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
Talks 2017-2018
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 2018-2019

Saturday-Sunday October 6-7, 2018 Doelenzaal, University Library, Amsterdam 10:00--17:00 Peripatetic Seminar on Sheaves and Logic Web page
Friday October 26, 2018 Room F1.15, Science Park 107, Amsterdam 16:00--17:00 Denis Saveliev (Steklov Mathematical Institute, Moscow): Hindman's finite sums theorem and its application to topologizations of algebras Abstract
Friday November 30, 2018 Buys Ballot Gebouw Room 385, Utrecht 15:30-16:30 Matias Menni : The Unity and Identity of Decidable objects and double negation sheaves Abstract
Friday June 28, 2019 Science Park 107, Amsterdam, F1.15 16:00-17:00 Makoto Fujiwara (Meiji, Konstanz) : Constructivism and weak logical principles in arithmetic Abstract