Organization: Lev Beklemishev (mail: lev.beklemishev@phil.uu.nl), Benedikt Löwe (mail: bloewe@science.uva.nl) and Jaap van Oosten (mail: jvoosten@math.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.
| 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 |