Colloquium on Mathematical Logic

Overview of Talks given in 2006-2007:

September 29, 2006 UU 16:00 (sharp) - 17:00 Sebastiaan Terwijn Intervals in the Medvedev lattice Abstract
October 13, 2006 UvA 16:00 (sharp) - 17:00 Yuri Gurevich Play to test Abstract
October 27, 2006 UU 16:00 (sharp) - 17:00 Jouko Väänänen Dependence Logic Abstract
November 3, 2006 UvA 16:00 (sharp) - 17:00 Ramon Jansana Quasivarieties and Gentzen calculi Abstract
November 17, 2006 UU 16:00 (sharp) - 17:00 Wim Veldman (RU) Perhaps the Intermediate Value Theorem and perhaps more Abstract
November 24, 2006 UU 16:00 (sharp) - 17:00 Valentin Shehtman (Moscow) On completeness and incompleteness in first-order modal logic Abstract
December 15, 2006 UvA 16:00 (sharp) - 17:00 Brian Semmes (Amsterdam) Decomposing 2->3 Abstract
January 19, 2007 UU 16:00 (sharp) - 17:00 Tim Baarslag (Utrecht) Limitations of primitive recursive algorithms Abstract
February 2, 2007 UU 16:00 (sharp) - 17:00 Rosalie Iemhoff (Utrecht) Skolemization and Herbrand's theorem Abstract
February 16, 2007 UU 16:00 (sharp) - 17:00 Ronald de Wolf (CWI) Quantum proofs for classical theorems Abstract
March 2, 2007 UvA 16:00 (sharp) - 17:00 Juha Kontinen (Helsinki) Majority in logic and computation Abstract
March 16, 2007 UU 16:00 (sharp) - 17:00 Juliette Kennedy (Helsinki) Square-like principles, Arithmetic and Model Theory Abstract
March 23, 2007 UvA, room P.017 16:00 (sharp) - 17:00 Andres Villaveces (Bogotá) Generic Predicates over Hilbert Spaces - (Continuous) Model Theory of Pairs Abstract
March 30, 2007 UvA 16:00 (sharp) - 17:00 Roman Kossak (CUNY) Forcing in models of arithmetic Abstract
April 3, 2007 UU, van Unnikgebouw, room 221 16:00 - 17:00 Yuri Gurevich (Microsoft research) Why Sets? Abstract
April 4, 2007 UU, Kromme Nieuwe Gracht 80, room 1.02 10:00 - 17:00 Arithmetic days Kossak, Engström, Ressayre, Kaye Program
April 5, 2007 UU, Drift 21, room 1.04 10:00 - 17:00 Arithmetic days Enayat, Visser, Kennedy
April 13, 2007 UU 16:00 (sharp) - 17:00 Bas Spitters (RU) Computable sets: Located and overt locales Abstract
Thursday April 19, 2007 UvA 16:00 (sharp) - 17:00 Lauri Hella (Tampere) Constraint Satisfaction Problems and Quantifier Free Reductions Abstract
April 20, 2007 Jaarbeurs Utrecht, Beatrixgebouw, room 712 9:00 - 17:00 Luitzen Egbertus Jan Brouwer Conference Information
May 4, 2007 UU 16:00 (sharp) - 17:00 Ali Enayat (temporarily UU) From fragments of arithmetic to large cardinals via Quine-Jensen set theory Abstract
May 18, 2007 UvA, building E (Roetersstraat 11), room E.015 16:00 (sharp) - 17:00 Dimitri Hendriks (VUA) A calculus for deciding productivity of recursive stream definitions Abstract
June 1, 2007 UU, Unnikgebouw, room 202 16:00 (sharp) - 17:00 Piet Rodenburg (UvA) Piecewise Initial Algebra Semantics Abstract
Monday, June 11, 2007 UvA 14:00 (sharp) - 15:00 Yuri Gurevich (Microsoft Research) Zero-one laws of discrete mathematics Abstract
June 15, 2007 UvA 15:00 (sharp) - 16:00 Kamal Lodaya (Chennai, India) Marking time Abstract
July 20, 2007 UvA 16:00 (sharp) - 17:00 Jeff Paris (Manchester) Rationality as conformity Abstract
August 3, 2007 UvA 16:00 (sharp) - 17:00 Joel Hamkins (CUNY) Boolean ultrapowers Abstract