2004 ASL European Summer Meeting ( Logic Colloquium

Venue: Torino

Location: Torino, Italy

Event Date/Time: Jul 25, 2004 End Date/Time: Jul 31, 2004
Abstract Submission Date: Apr 16, 2004
Report as Spam


Invited speakers include: J. T. Baldwin, A. Berarducci, T. Bartoszynski, A. Marcone, G. Mints, M. Moellerfeld, F. Stephan, Göran Sundholm, M. Valeriote, and H. Woodin. Tutorials will be offered by by A. Kechris and S. Solecki ( Descriptive set theory, analysis and dynamical systems), T. Scanlon ( Geometric stability theory), R. Solomon ( Computable Algebra), R. Willard ( The past and the future of universal algebra). Special sessions in proof theory, o-minimality, and universal algebra, and a panel discussion on philosophical and historical issues also will be held. The members of the Program Committee are: T. Arai, D. DeJongh, W. Goldfarb, G. Hjorth, S. Lempp, G. Lolli, D. Marker, D. Martin, R. McKenzie, W. Pohlers (Chair), W. Sieg, A. Sorbi, and A. Wilkie. The Local Organizing Committee includes: A. Andretta (Chair), S. Berardi, R. Camerlo, U. De Liguoro, M. Dezani, A. Marcone, N. Olivetti, and D. Zambella. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see above). Abstracts---hard copy or email---should be received before the deadline of April 16, 2004 at the official meeting address: LC2004, Department of Mathematics, University of Torino, via Carlo Alberto 10, 10123 Torino, Italy; email: lc2004@unito.it. For further information visit the website below.