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