Organization: Alessandra Palmigiano (mail: A.Palmigiano AT uva.nl) , Jaap van Oosten (mail: J.vanOosten AT uu.nl), Rosalie Iemhoff (mail: Rosalie.Iemhoff AT phil.uu.nl) and Sebastiaan Terwijn (mail: terwijn AT math.ru.nl)
Starting 2000, the Colloquium on Mathematical Logic is a
joint event organized by the logicians at the Universiteit van Amsterdam and the
Universiteit Utrecht; as of this academic year, Nijmegen's Radboud University is also involved.
The CML meets irregularly in one of the three cities.
The Colloquium intends
to bring together
researchers working in Mathematical Logic and Logic related areas of
Theoretical Computer Science and Philosophy.
It is also meant as a forum for (PhD) students and recent PhD's
to present their own work.
We welcome talks! If you are interested, please contact us.
| 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 |