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 |