LC2001 extended deadline

From: Georg Moser (moser@logic.at)
Date: Wed May 02 2001 - 17:12:04 MET DST

  • Next message: Norbert Preining: "Invitation to ScienceWeek"

            [Apologies for multiple copies of this announcement]

            ++++++++++++++++++++++++++++++++++++++++++++++++++++++
            + +
            + 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: krajicek@math.cas.cz.

    ORGANIZING COMMITTEE CHAIR
        Matthias Baaz, Vienna Universtity of Technology
        email: baaz@logic.at

    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)

    *********************************************************************



    This archive was generated by hypermail 2b30 : Wed May 02 2001 - 17:16:49 MET DST