Colloquium on Mathematical Logic

Organization: George Barmpalias (mail: barmpalias AT gmail.com) , 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
This is the parallel Amsterdam webpage for the Colloquium.
Colloquium Location in Amsterdam:
Science Park 904, 1098 XH Amsterdam, room C 1.112 (16--17.30) Here you find directions for reaching the Science Park.
(Tram 9 from Central Station, to Plantage Badlaan; Metro from Amsterdam Amstel, to Weesperplein)

Colloquium Location in Utrecht
Bestuursgebouw, Heidelberglaan, Utrecht (De Uithof), room 267; or Wiskundegebouw, Budapestlaan 6, room 611.
Bus 11 or 12 from Utrecht Central Station (for Bestuursgebouw, stop "AZU"; for Wiskundegebouw take bus 11, stop "Botanische Tuinen").
In order to be put on our mailing list, send an e-mail to Jaap van Oosten.

Program 2009-2010

Monday February 15, 2010 UvA 16:00 - 17:00 Joerg Brendle TBA
February 18--19, 2010 Tilburg 09:00 - 17:00 PhDs in Logic II (invited tutorials by Ulrich Kohlenbach, Jaap van Oosten, Leon Horsten and Frank Veltman) Meeting website