Colloquium on Mathematical Logic

Overview of Talks given in 2011-2012

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