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
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 2016-2017

Wednesday October 19, 2016 Room 012, Drift 23, Utrecht 16:00--17:00 Fedor Pakhomov: Transitive modal logics and second-order theories Abstract
Thursday February 9, 2017 Room F1.15, Science Park 107, Amsterdam 16:00-17:00 Andrew Swan (ILLC): Lifschitz Realizability as a Topological Construction Abstract
Friday March 31, 2017 Room 006, Janskerkhof 13, Utrecht 11:00-12:00 Lev Beklemishev (Moscow): On the algebraic model for reflection calculus with conservativity modalities Abstract