Colloquium on Mathematical Logic

Organization: Lev Beklemishev (mail:, Benedikt Löwe (mail: and Jaap van Oosten (mail:

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
This is the parallel Amsterdam webpage for the Colloquium.
Colloquium Location in Amsterdam (Unless otherwise announced):
Euclides Building (P), Plantage Muidergracht 24, P.014
(Tram 9 from Central Station, to Plantage Badlaan; Metro from Amsterdam Amstel, to Weesperplein)

Colloquium Location in Utrecht (Unless otherwise announced):
Room 048, Bestuursgebouw, Heidelberglaan 8.
Bus 12 from Utrecht Central Station.
In order to be put on our mailing list, send an e-mail to Jaap van Oosten.

Program 2004-2005

September 10, 2004 UU 16:00 (sharp) - 17:00 Alexander Leitsch (Vienna) CERES: Cut-Elimination by Resolution Abstract
September 24, 2004 UvA 16:00 (sharp) - 17:00 Andrés Perea (Maastricht) Minimal belief revision leads to backward induction Abstract
October 8, 2004 UU 16:00 (sharp) - 17:00 Robbert Brak (Edinburgh) Theorem provers and Agent Interaction Protocols Abstract
October 22, 2004 UvA
November 5, 2004 UU
November 19, 2004 UvA 16:00 (sharp) - 17:00 Rineke Verbrugge (Groningen) Strong completeness for non-compact hybrid logics Abstract
December 3, 2004 Hotel Dennenhoeve, Nunspeet 14:50 (sharp) - 15:40 Agatha Walczak-Typke (Leeds) Stable structures and their non-choice analogues Abstract
December 10, 2004 UvA 16:00 (sharp) - 17:00 Guram Bezhanishvili MacNeille completions in modal logic Abstract
January 21, 2005 UU 15:00 (sharp) - 16:00 R. Yavorsky (Steklov, Moscow) Gurevich abstract state machines: theory and practice Abstract
16:00 - 17:00 Bart Kastermans (Ann Arbor, Michigan) A weak form of diamond and cardinal characteristics related to the symmetry group of the natural numbers Abstract
March 18, 2005 UvA, P.016 16:00 (sharp) - 17:00 Xavier Caicedo On implicit connectives Abstract
April 8, 2005 (Hors série) UU, Bestuursgebouw, 048 16:00 (sharp) - 17:00 D.C. McCarty (The Logic Program, Indiana University) An Incompleteness Argument from the 19th Century Abstract
April 28, 2005 (Hors série) UU, Wiskundegebouw, K11 (Algemeen Colloquium) 15:30 (sharp) - 16:30 C. Tapp (München) Georg Cantor, the founder of set theory, in contact with catholic theologians of his time Abstract
April 29, 2005 UvA 16:00 (sharp) - 17:00 Emil Jerabek (München) Admissible rules of modal logics Abstract
May 27, 2005 UU 16:00 (sharp) - 17:00 Andreas Weiermann (UU) Analyzing Ramsey's theorem for pairs via non standard models Abstract
June 3, 2005 UvA 16:00 (sharp) - 17:00 Joel Hamkins Forcing axioms arising from a modal view of set theory Abstract