2002 ASL European Summer Meeting (Logic Colloquium 2003)

Venue: Institut für Mathematische Logik und Grundlagenforschung

Location: Muenster, Germany

Event Date/Time: Aug 03, 2002 End Date/Time: Aug 09, 2002
Report as Spam


Invited speakers include J. Avigad, A. Beckmann, T. Carlson, R. Constable, K. Dosen, M. Gitik, V. Halbach, B. Khoussainov, S. Lempp, T. Pitassi, T.
Scanlon, R. Schindler, P. Speissegger, and K. Tent. Tutorials will be offered by L. Beklemishev, S. Cook, O. Lessmann, and S. Thomas. Special sessions
in computability theory, non-monotonic logic, and set theory also are planned. The members of the Program Committee are K. Ambos-Spies, S. Buss,
Z. Chatzidakis, A. Kechris (Chair), P. Koepke, P. Komjath, M. Lerman, V. McGee, W. Pohlers, M. Rathjen, K. Segerberg, and B. Zilber. The members of
the Organizing Committee are M. Burghardt, J. Diller, P. Koepke, B. Löwe, M. Möllerfeld, W. Pohlers (Chair), and A. Weiermann. A satellite meeting,
Colloquium Logicum 2002, organized by the Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften, will take
place on August 9-11; for details, visit http://www.math.uni-muenster.de/LC2002/CL2002.html.