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