| Description |
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.
|
|
