Colloquium on Mathematical Logic

Overview of Talks given in 2005-2006

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

To Jaap van Oosten