| Tuesday September 20, 2011 | Amsterdam University Library (Singel 425) Vondelzaal (Room C1.08) | 16:30 | Peter Koepke (Bonn) | Felix Hausdorff and the Foundations of Mathematics Abstract |
|---|---|---|---|---|
| Monday November 21, 2011 | UvA, D1.116 | 17:00 | John Mumma | Free-rides and overdetermined alternatives in Euclid's diagrams Abstract |
| Wednesday February 29, 2012 | UvA, A1.10 | 17:00 | Joost Joosten (Dept. Lògica, Història i Filosofia de la Ciència; Universitat de Barcelona) | Well-orders in the Japaridze Algebra Abstract |
| Thursday May 10, 2012 | UvA, B0.201 | 16:00 | George Metcalfe (Bern) | Admissibility in Finite Algebras Abstract |
| Friday June 8, 2012 | Utrecht, Buys Ballot Lab, Princetonplein, room 007 | 16:00 | Giuseppe Greco (Padova/Amsterdam) | Sequent Calculus for the Logic of Public Announcements Abstract |
| Monday June 11, 2012 | Utrecht, Drift 23, room 010 | 16:00 | Michael Beeson | Logic of Ruler and Compass Constructions Abstract |
| Friday June 22, 2012 | UvA, B0.201 | 16:00 | Kenneth Manders (Pittsburgh) | Expressive Means and Mathematical Understanding Abstract |
| Wednesday July 4, 2012 | Utrecht, Wiskundegebouw room 611 | 15:00 | Thomas Streicher (Darmstadt) | Computability in Quantum Theory Abstract |