Colloquium on Mathematical Logic

Overview of Talks given in 2012-2013

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