| September 14, 2007 | UvA | 16:00 (sharp) - 17:00 | Sunil Simon (Chennai) | Structured specification of strategies in games on graphs Abstract |
|---|---|---|---|---|
| October 5, 2007 | UvA | 16:00 (sharp) - 17:00 | Shingo Saito | Knot points of typical continuous functions Abstract |
| October 12, 2007 | UU | 16:00 (sharp) - 17:00 | Valery Plisko | Primitive recursive realizabilities Abstract |
| November 2, 2007 | UvA | 16:00 (sharp) - 17:00 | Denis Bonnay (Paris) | Invariance, Definability and Monoids Abstract |
| November 8, 2007 | UvA | Day in mathematical logic | Zil'ber, Woodin, Moerdijk,... Preliminary Programme | |
| November 9-10, 2007 | UU | Aesthetics and Mathematics | Various speakers Preliminary Programme | |
| November 16, 2007 | UU | 16:00 (sharp) - 17:00 | Tatiana Yavorskaya | Interacting explicit evidence systems Abstract |
| November 23, 2007 | UU | 16:00 (sharp) - 17:00 | Valentin Shehtman (Moscow) | More on completeness in first-order modal and intuitionistic logic Abstract |
| November 30, 2007 | UvA | 16:00 (sharp) - 17:00 | Sonja Smets | An Abstract Dynamic-Logical Setting for Quantum Mechanics Abstract |
| January 11, 2008 | UU | 10:00 (sharp) - 11:00 Note unusual time! | Ali Enayat | Nonstandard Omega-standard Models of Finite Set Theory Abstract |
| February 15, 2008 | UvA | 16:00 (sharp) - 17:00 | Samson Abramsky | Full Completeness Abstract |
| February 29, 2008 | UvA | 16:00 (sharp) - 17:00 | Dag Westerstahl | Quantifiers, freezing, possessives, and compositionality Abstract |
| March 28, 2008 | UvA | 14:00 (sharp) - 15:00 Note unusual time! | Michael Rathjen | "Models" for intuitionistic set theories Abstract |
| April 4, 2008 | UvA | 16:00 (sharp) - 17:00 | Michiel van Lambalgen | Lawlessness, randomness and the axiom of choice Abstract |
| April 18, 2008 | UU | 16:00 (sharp) - 17:00 | Patrick Dehornoy | Recent progress on the Continuum Hypothesis, after H. Woodin Abstract |
| May 23, 2008 | UvA | 16:00 (sharp) - 17:00 | Mirna Dzamonja (Norwich) | Combinatorics of trees Abstract |
| Thursday May 29, 2008 | UvA | 16:00 (sharp) - 17:00 | Sakaé Fuchino | Axiomatization of generic extensions by homogeneous partial orderings Abstract |
| May 30, 2008 | UU | 16:00 (sharp) - 17:00 | Kohei Kishida (Pittsburgh) | Topological Completeness of First-Order Modal Logic Abstract |
| June 13, 2008 | UvA, P018 | 14:30 (sharp) - 15:30 Note unusual time | Bart Kastermans (Wisconsin) | Stability and Posets Abstract |