++++++++++++++++++++++++++++++++++++++++++++++++++++++ + + + THIRD ANNOUNCEMENT and EXTENDEND DEADLINE + + + ++++++++++++++++++++++++++++++++++++++++++++++++++++++ LOGIC COLLOQUIUM 2001 August 6-11,2001 Vienna, AUSTRIA http://www.logic.at/LC2001 [More details about registration, accomodation, application for travel grants etc. are available at the web page] LC2001, the 2001 European Summer Meeting of the Association of Symbolic Logic (ASL) will take place in Vienna. LC2001 starts on Monday, August 6 and runs till Saturday, August 11. The conference venues are the Vienna University of Technology and the University of Vienna. These venues were chosen to celebrate the 70th anniversary of the publication of G�del's famous Incompleteness Theorem. In 1931 Kurt G�del was working in Vienna and lecturing at the University of Vienna. The Logic Colloquium is the major international conference which integrates all fields of mathematical logic and its applications. Owing to its interdisciplinary and foundational character, it brings together outstanding researchers and students not only in classical logic, but also in fields such as theoretical computer science, computational logic, artificial intelligence, linguistics, and philosophy of logic and mathematics. The Logic Colloquium provides an important opportunity for young researchers to disseminate their results and to obtain feedback both from their peers and from senior members of the community. The program will include 15 plenary talks. The 'Colloquium' has 6 different sessions: Set Theory Model Theory Proof Theory and Proof Search Computability Theory Philosophy and History of Logic Computer Science and Complexity Theory In addition, LC2001 will include two tutorials. Owing to the scientific heritage of Vienna, two evening events have been planned, which are open to the public. PLENARY SPEAKERS include Toshiyasu Arai (Hiroshima) Steve Awodey (Pittsburgh) James Cummings (Pittsburgh) Rod Downey (Wellington) Harvey Friedman (Columbus) Warren Goldfarb (Cambridge, USA) Olga Kharlampovich (Montreal) Julia Knight (Notre Dame) Michiel van Lambalgen (Amsterdam) Chris Miller (Columbus) Ran Raz (Rehovot/Princeton) Saharon Shelah (Jerusalem) Jouko V��n�nen (Helsinki) Frank Wagner (Lyon) Stan Wainer (Leeds) We are glad to announce Gaisi Takeuti as one of the speakers for the special evening lectures. SUBMISSION of ABSTRACTS Abstracts of contributed talks are limited to 300 words, including title, headings and references. They must be submitted in hard copy by ordinary mail or in a plain text email. Electronically submitted abstracts should be either plain text or in PostScript format. DEADLINE EXTENSION: The EXTENDED deadline for submission of abstracts is June 1, 2001. The abstracts of all keynote lectures will be published in the 'Bulletin of Symbolic Logic'. The abstracts of contributed talks will be published in the 'Bulletin', provided at least one author is a member of the ASL. Abstracts of all lectures and talks will appear in a volume handed out to the participants of the Colloquium. TRAVEL GRANTS Travel grant submission is closed. REGISTRATION Please register electronically at http//www.logic.at/LC2001. IMPORTANT DATES Submission of Abstracts: June 1, 2001 PROGRAM COMMITTEE CHAIR Jan Krajicek, Academy of Sciences of the Czech Republic email: [email protected]. ORGANIZING COMMITTEE CHAIR Matthias Baaz, Vienna Universtity of Technology email: [email protected] PROGRAM COMMITTEE M. Arslanov (Kazan) M. Baaz (Vienna) W. Buchholz (Munich) S. Friedman (Vienna) D. Isaacson (Oxford) C. Jockusch (Urbana-Champaign) J. Krajicek (Prague), Chair L. Newelski (Wroclaw), resigned in April'00 J. Paris (Manchester) JP. Ressayre (Paris) L. van den Dries (Urbana-Champaign) B. Velickovic (Paris) A. Visser (Amsterdam) *********************************************************************