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.
| 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 |