| September 30, 2005 | UvA | 16:00 (sharp) - 17:00 | Edwin Mares | Semantics for Quantified Substructural Logic Abstract |
|---|---|---|---|---|
| October 14, 2005 | UvA | 16:00 (sharp) - 17:30 | Nikolay Vereshchagin (Moscow University and CWI) | Game semantics for intuitionistic propositional calculus IPC Abstract |
| October 28, 2005 | Brouwer Institute, Nijmegen | DIAMANT DAY: one-day lecture series on Constructive Interactive Mathematics, featuring Dana Scott, Freek Wiedijk, Wim Hesselink/Jaap Top and Jeremy Avigad.Detailed information and preliminary program | ||
| October 31, November 1, 2005 | Brouwer Institute, Nijmegen | 3 seminars by Dana Scott: see programme | ||
| November 18, 2005 | UvA | 16:00 (sharp) - 17:00 | Jaap van Oosten (UU) | A general form of relative recursion Abstract |
| November 25, 2005 | Jaarbeurs in Utrecht, Beatrixgebouw, room 412 | Proofs and Problems: symposium organized by the Vereniging voor Logica with talks by Jan van Leeuwen, Lev Beklemishev, and Henk Barendregt. | ||
| November 28, 2005 | UvA (hors série), P.327 | 11:30-12:30 | Daisuke Ikegami (Nagoya) | A characterization of Sacks measurability in terms of Sacks absoluteness |
| December 2, 2005 | UU | 16:00 (sharp) - 17:00 | Jamie (Murdoch) Gabbay (King's College, London) | One-and-a-Halfth order logic Abstract |
| December 8, 2005 Note: thursday! | UU | 16:00 (sharp) - 17:00 | Greg Restall (University of Melbourne) | Proofnets for S5: sequents and natural deduction for modal logic Abstract |
| January 6, 2006 | UU | 16:00 (sharp) - 17:00 | Bas Spitters (RU) | Observational Integration Theory Abstract |
| January 20, 2006 | UU | 16:00 (sharp) - 17:00 | Milad Niqui (RU) | Exact Real Numbers in Coinductive Type Theory Abstract |
| February 24, 2006 | UvA | 16:00 (sharp) - 17:00 | Asger Tornquist (Torino) | Construction of non-conjugate actions Abstract |
| March 3, 2006 | UvA | 16:00 (sharp) - 17:00 | Bob Lubarsky (Florida Atlantic University) | Notions of Reals in Constructive ZF Abstract |
| March 8-10, 2006 | UU | Workshop on Constructive Set Theory | See here for details | |
| April 7, 2006 | UvA | 16:00 (sharp) - 17:00 | Philipp Hieronymi (Oxford) | Inner Models and Topos Theory Abstract |
| April 21, 2006 | UU, Ruppert building, room 134 (entrance Educatorium on Leuvenlaan) | 15:00 (sharp)- 16:00 | Saeed Salehi (Turku University) | Modal Logic of Cut-Free Provability in Weak Arithmetics Abstract |
| 16:00 - 17:00 | Roland Hinnion (Brussels) | Positive Set Theories Abstract | ||
| May 12, 2006 | UvA | 15:00 - 16:00 | Joost J. Joosten (Utrecht) | Computational complexity and short proofs of consistency statementsAbstract |
| 16:00 (sharp) - 17:00 | Marek Kwiatkowski (VU Amsterdam) | Ordinal Arithmetic via Infinite Term rewriting Abstract |