| Friday September 7, 2012 | Oostindisch Huis, Kloveniersburgwal 48, Amsterdam, VOC zaal | 10:00--15:00 | Intuitionism in 2012: Van den Berg, Iemhoff and J.R.Moschovakis | Web page |
|---|---|---|---|---|
| Friday September 7, 2012 | Trippenhuis, Kloveniersburgwal 29, Amsterdam Tinbergenzaal | 16:00--18:00 | Yiannis Moschovakis | The Church-Turing Thesis and Relative Recursion Abstract Web page |
| Monday September 10, 2012 | Huygensgebouw, Nijmegen room HG 00.304 | 12:00--16:30 | Afscheid Wim Veldman: Y. Moschovakis, J.R. Moschovakis, Tonny Hurkens and Wim Veldman | Web page |
| Tuesday September 25, 2012 | Janskerkhof 13, Utrecht room 0.06 | 12:00--13:00 | Yuri Gurevich (Microsoft) | The Logic of Infons Abstract |
| Thursday November 29, 2012 | Drift 25, Utrecht room 204 | 16:00--17:00 | Silvio Ghilardi | Revisiting amalgamation and strong amalgamation Abstract |
| Tuesday March 19, 2013 | Science Park 905, Amsterdam room A.110 | 17:30--18:30 | Kazuyuki Tanaka (Tohoku University, Japan) | Reverse Mathematics and Nonstandard Proof Methods Abstract |
| Thursday March 21, 2013 | Science Park 107, Amsterdam room F1.15 (entrance via NIKHEF, Science Park 105, then follow the signs to "Gebouw F") | 14:00--15:00 | Klaus Meer (Technische Universitaet Cottbus) | Some Aspects of Real and Complex Number Computability Theory Abstract |
| Friday March 29, 2013 | Science Park, Amsterdam room TBA | 16:00--17:00 | Jiamou Liu (Auckland University of Technology) | A Polychromatic Ramsey Theory on Ordinals Abstract |
| Thursday April 4, 2013 | Wiskundegebouw, Utrecht room 611 | 15:30--16:30 | Marek Zawadowski (Warsaw University) | TBA Abstract |
| April 18--20, 2013 | Utrecht | 10:00--17:30 | ALCOP 2013 (Algebra and Coalgebra Meet Proof Theory) | Meeting Web Page |