Colloquium on Mathematical Logic

Organization: Alessandra Palmigiano (mail: A.Palmigiano AT uva.nl) , Jaap van Oosten (mail: J.vanOosten AT uu.nl) and Rosalie Iemhoff (mail: Rosalie.Iemhoff AT phil.uu.nl)

Starting Fall 2003, 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 (ideally) biweekly on Fridays, alternatingly in Amsterdam and in Utrecht.
The Colloquium intends to bring together researchers working in Mathematical Logic and Logic related areas of Theoretical Computer Science.
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

This is the parallel Amsterdam webpage for the Colloquium.

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").
In order to be put on our mailing list, send an e-mail to Jaap van Oosten.

Program 2011-2012

Tuesday September 20, 2011	Amsterdam University Library (Singel 425) Vondelzaal (Room C1.08)	16:30	Peter Koepke (Bonn)	Felix Hausdorff and the Foundations of Mathematics Abstract
Monday November 21, 2011	UvA, D1.116	17:00	John Mumma	Free-rides and overdetermined alternatives in Euclid's diagrams Abstract
Wednesday February 29, 2012	UvA, A1.10	17:00	Joost Joosten (Dept. Lògica, Història i Filosofia de la Ciència; Universitat de Barcelona)	Well-orders in the Japaridze Algebra Abstract