| Friday September 17, 2010 | UvA room A1.06 | 17:00 | Mehrnoosh Sadrzadeh (Oxford) | What is the vector space content of what we say? A compact categorical approach to meaning Abstract |
|---|---|---|---|---|
| Friday October 15, 2010 | UvA room A1.08 | 17:00 | Jouko Väänänen (Helsinki and Amsterdam) | Dependence logic - recent developments and open problems Abstract |
| Monday November 15, 2010 | UvA room A1.06 | 17:00 | Rod Downey (Wellington) | Yet More on Algorithmic Dimension Abstract |
| Friday November 26, 2010 | UvA room D1.114 | 16:00 | Marek Zawadowski (Warsaw) | The Opetopic Approach to Higher Dimensional Categories Abstract |
| Friday November 26, 2010 | UvA room D1.110 | 17:00 | Andrew E.M. Lewis (Leeds) | The search for natural definability in the Turing degrees Abstract |
| Wednesday January 12, 2011 | UvA room A1.08 | 17:00 | Tom Sterkenburg (ILLC) | The number of K-trivial sets Abstract |
| Tuesday April 5, 2011 | UvA room C0.110 | 15:00 | Joerg Brendle (Kobe) | A base-matrix lemma for sets of rationals modulo nowhere dense sets |
| Monday May 9, 2011 | UvA room A1.10 | 16:00 | Jouko Väänänen (Helsinki) | Second Order Logic or Set Theory? Abstract |
| Monday May 16, 2011 | UvA room A1.10 | 16:00 | Juliette Kennedy (Helsinki) | On Inner Models from Extended Logics Abstract |
| Thursday-Friday May 18-19, 2011 | Groningen University | 10:00-17:00 | Mathematical Logic in the Netherlands | Meeting web site |
| Thursday-Friday-Saturday May 26-28, 2011 | Utrecht University | 10:00-17:00 | Workshop on Admissible Rules and Unification | Meeting web site |
| Thursday June 23, 2011 | UvA room A1.10 | 16:00 | Andreas Weiermann (Gent) | Provably recursive functions for PA Abstract |
| Thursday July 7, 2011 | UvA room A1.10 | 16:00 | Takayuki Kihara (Tohoku, Sendai) | Mass Problems, Constructivism, and Learnability Abstract |
| Friday July 29, 2011 | UvA room C1.112 | 16:00 | Eduardo Giovannini (CONICET and Universidad Nacional del Litoral, Argentina) | Hilbert's Early View on Completeness and Categoricity Abstract |