Colloquium on Mathematical Logic

Overview of Talks given in 2009-2010

Monday February 15, 2010 UvA room A 1.10 16:00 - 17:00 Joerg Brendle Almost disjoint families Abstract
February 18--19, 2010 Tilburg 09:00 - 17:00 PhDs in Logic II (invited tutorials by Ulrich Kohlenbach, Jaap van Oosten, Leon Horsten and Frank Veltman) Meeting website
Monday March 15, 2010 UvA room A1.10 17:00 - 18:00 André Nies (Auckland) Demuth randomness and computational complexity Abstract
Tuesday March 30, 2010 UvA room A1.10 17:00 - 18:00 Pantelis Eleftheriou (Lisbon) On groups definable in o-minimal structures Abstract
Tuesday April 13, 2010 UvA, room A1.10 15:00 - 16:00 Vaughan Pratt Presketches: Algebra without algebras via categories without functors Abstract
May 6-7, 2010 Plantage Muidergracht 12 09:00 - 19:00 Set Theory, Classical and Constructive
Monday, May 10, 2010 UvA Science Park C1.112 13:00 - 15:00 Harvey Friedman (Ohio State) Concrete incompleteness from PA through large cardinals
Friday May 21 , 2010 UvA room C0.110 17:00-18:00 Gido Scharfenberger-Fabian (Greifswald) Advanced Souslin tree constructions for algebraic issues Abstract
Thursday/Friday May 27/28 , 2010 UU BBL room 061 10:00-17:00 Mathematical Logic in the Netherlands Meeting website
Friday June 25 , 2010 UvA room C1.112 16:00-17:00 Amaldev Manuel Two variable FO on Two Successors Abstract