Colloquium on Mathematical Logic

Organization: Jouko Väänänen (mail: vaananen@science.uva.nl) , Jaap van Oosten (mail: J.vanOosten AT uu.nl) and Rosalie Iemhoff (mail: Rosalie.Iemhoff@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 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
This is the parallel Amsterdam webpage for the Colloquium.
Colloquium Location in Amsterdam:
Euclides Building, Plantage Muidergracht 22-24, 1018 TV Amsterdam, room P.018.
(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 2008-2009

September 15-16, 2008 KNAW, Trippenhuis, Kloveniersburgwal 29, Amsterdam 10:00 - 17:00 a.o. Dana Scott, Albert Visser E.W. Beth Centenary Conference Meeting Website
September 19, 2008 UU, Wiskundegebouw room 611 16:00 (sharp) - 17:00 Dana Scott Discussing Higher-Order Modal Modeling Abstract
September 22, 2008 UvA, room P.017 17:00 (sharp) - 18:00 Xavier Caicedo Ferrer (Bogota) A characterization of Lukasiewicz logic Abstract
October 17, 2008 UvA, room P.019 16:00 (sharp) - 17:00 Adrian Mathias Rudimentary recursion, provident sets and forcing Abstract
November 25-26, 2008 Grift 6, room 1.22, Utrecht 10:00 (sharp) - 17:00 Moscow-Utrecht meeting Logical Models of Reasoning and Computation Meeting website
February 20, 2009 Room 611, Mathematics building, Utrecht 16:00 (sharp) - 17:00 Martin Davis Gödel's Developing Platonism Abstract
February 27, 2009 Room 611, Mathematics building, Utrecht 14:00 (sharp) - 16:30 D. Isaacson (Oxford)
A. MacIntyre (London)
Some comparisons between incompleteness in arithmetic and set theory
The Impact of Incompleteness on Pure Mathematics
March 13, 2009 UvA, room P.019 14:00 (sharp) - 16:30 W. Hodges (Cambridge)
J. Väänänen (UvA)
Where Frege is coming from Abstract
Second order logic, set theory and foundations of mathematics Abstract
March 27, 2009 UU, room 611, Math building 15:00 (sharp) - 16:45 Carsten Held (Erfurt) Frege and Second-Order Logic Abstract
April 17, 2009 UU, room 611 14:00 (sharp) - 16:30 N.-C. Short (Provence)
W. Sieg (CMU)
Mathematical style: where symbolic concurrent structures and individual practice meet
Structural Proof Theory: Uncovering aspects of the mathematical mind
May 6 (Wednesday), 2009 UU, room 430, Buys Ballot lab, Princetonplein 16:00 (sharp) - 17:00 Kenneth Manders (Pittsburgh) Knot Representation Abstract
May 25-6, 2009 Nijmegen, HG00.062 9:00 - 17:00 Mathematical Logic in The Netherlands (MLNL09) Programme Meeting web page
May 27 (Wednesday), 2009 UvA, Euclides, room P016 15:00 (sharp) - 16:00 Juha Kontinen (University of Helsinki) Regular representations of uniform TC^0 Abstract
June 12, 2009 UU, Wiskunde, room 611ab 16:00 (sharp) - 17:00 Bas Spitters (RU) Constructive Theory of Banach algebras Abstract