CONTENTS OF THIS SITE       CALCULEMUS


Logic   Colloquium 2000
ASL European Summer Meeting
La Sorbonne, Paris, July 23-31, 2000


Preliminary Announcement (October 1999)

Mathematical logic was born, as an organized discipline, around the beginning of the present century. Not always well received by mathematicians, it was sometimes the source of acrimonious discussions. However, it is clear, today, that some of its results range high amongst the achievements of science in the 20th Century. Its lively development has nourished the work of mathematicians, computer scientists, philosophers, linguists and other scientists.

For many years the annual European Summer Meeting of the Association for Symbolic Logic (ASL) has been the place where distinguished specialists have reported on the discipline's state of the art and its contributions to other areas of knowledge. To mark this centenary the ASL has chosen to hold LC 2000 at the Sorbonne, in Paris; this is the very same place where, on August 14, 1900, David Hilbert delivered to the Second International Congress of Mathematicians his historical lecture stating the famous list of 23 problems which inspired the work of many mathematicians throughout this century. Logic was prominent in Hilbert's own work and was at the heart of some of these problems. For example, the status of the continuum hypothesis, whose solution by Kurt Gödel and, later, by Paul Cohen, was the source for an extraordinary development of set theory.

The ASL has entrusted the organization of LC 2000 to the Equipe de Logique Mathematique of the University of Paris 7 - Denis Diderot (UPRESA 7056 of the CNRS), which benefits from the collaboration of the UFR de Philosophie of the University of Paris I - Pantheon-Sorbonne and the UMR Philosophie des Sciences (UMR 8590 of the CNRS).

Registration will be held during the morning of Sunday, July 23, 2000, and lectures will begin that same afternoon. The program consists of twenty-four one-hour lectures, four 3-hour tutorials, and sessions of contributed papers. Two afternoons will be free; excursions and a banquet will be organized.

S e c t i o n s

The meeting will cover the following broad areas:

T u t o r i a l s The following have accepted invitations to speak: P. Aczel, J. Barwise, S. Buss, M. Davis, Ph. de Rouilhan, I. Farah, M. Hallett, L. Harrington, R. Heck, W. Hodges, M. Hofmann, G. Jaeger, Y. Lafont, R. Laver, A. Macintyre, D. Marker, D. Martin, P. Shor, T. Slaman, O. Spinas, S. Starchenko, M. Zeman, B. Zil'ber.

O r g a n i z i n g   C o m m i t t e e Chantal Berline (CNRS-Paris7), Zoe Chatzidakis (CNRS-Paris7), Rene Cori (Chair, Paris7-CNRS), Maximo Dickmann (CNRS-Paris7), Jacques Dubucs (CNRS-Paris1), Jean-Baptiste Joinet (Paris1-CNRS), Daniel Lascar (CNRS-Paris7), Yves Legrandgerard (Paris7-CNRS), Jean Mosconi (Paris1-CNRS), Marie-Helene Mourgues (IUFM de Creteil CNRS), Catherine Muhlrad-Greif (Paris7-CNRS), Leszek Pacholski (Wroclaw, ASL representative), Jean-Pierre Ressayre (CNRS-Paris7), Boban Velickovic (Paris7-CNRS), Françoise Ville (Paris7-CNRS).

P r o g r a m   C o m m i t t e e

Daniel Andler (CREA-Paris 10), Chantal Berline (CNRS-Paris7), Barry Cooper (Leeds), Akihiro Kanamori (Boston), Charles Parsons (Harvard), Alexander Razborov (Steklov, Moscow), Helmut Schwichtenberg (Munich), John Steel (Berkeley), Stevo Todorcevic (CNRS-Paris7), Dirk van Dalen (Utrecht), Alex Wilkie (Oxford), Carol Wood (Chair, Wesleyan University).

I n f o r m a t i o n

Information about the meeting can be requested by any of the following means:

  • e-mail addressed to: lc2000-robot@logique.jussieu.fr (write " get-announcement " as subject).
  • Fax number: 01 44 27 61 48 (from France) or 33 1 44 27 61 48 (from abroad).
  • ordinary mail (see address at the end).

Registration fees

1200 FF (182,93 Euros) up to March 31, 2000
1500 FF (228,67 Euros) thereafter
Students: 50% reduction (proof of student status mandatory). (See below for exchange rates of some common currencies.)
Instructions for money transfer and registration forms will be available in the future.

Contributed papers
Deadline for abstract submission: March 31, 2000.

Submission may be done by:

  • e-mail addressed to: lc2000-robot@logique.jussieu.fr (write " submit-abstract " as subject).
  • Fax number: 01 44 27 61 48 (from France) or 33 1 44 27 61 48 (from abroad).
  • ordinary mail (see address at the end).

    Abstracts should be not longer than 300 to 500 words, including references. The following must be included: title, preferred classification within the organizational areas of LC2000 (see list above), author's name, name of author's institution, postal address, e-mail address (if any). For electronic abstract submission (a method we strongly recommend), send us the abstract, either in plain text, or in Plain TeX or LaTeX (please, NO personnal commands and macros, NO footnotes and pictures).

    A volume containing the abstracts of contributed papers will be given to each participant. Abstracts by ASL members will be published subsequently in the Bulletin of Symbolic Logic (BSL).

Financial support

The ASL and the NSF offer a number of grants to help financing student and recent PhD participation. The deadline for applications is March 31, 2000, and these can be submitted by any of the following means: -- e-mail addressed to: lc2000-robot@logique.jussieu.fr (write " grant " as subject).

-- Fax number: 01 44 27 61 48 (from France) or 33 1 44 27 61 48 (from abroad).
-- ordinary mail (see address at the end).

Applications must include the following data:
-- name of applicant;
-- name of institution;
-- postal and e-mail address;
-- name of thesis advisor;
-- short description of research subject (20 lines maximum);
-- areas of interest;
-- amount requested;
-- (for citizens or residents of the USA) your citizenship and/or visa status.

Note that grants will be of a limited amount, in general partially covering travel expenses. Exceptionally, demands for accomodation expenses may be considered. Grant applications must be supported by a short letter from the applicant's thesis advisor, addressed to Carol Wood, Chair, Program committee, by e-mail (cwood@wesleyan.edu) or ordinary mail (Department of Mathematics, Wesleyan University, Middletown CT 06459, USA). The ASL and NSF strongly encourage women and members of minority groups to apply for these grants (you may indicate your gender and/or minority status in your application).

Accommodation: it will take place in university residences or hotels.

University residences

Low-price accommodation will be available at the "Cite Universitaire Internationale" and in smaller university residences. The Cite Universitaire Internationale is located on Boulevard Jourdan, at the south edge of Paris (14th arrondissement, Metro Cite Universitaire). Public transportation, including a direct metro line to the Sorbonne, is easily available in the vicinity. Room prices vary between 100 FF and 250 FF a night. Most single rooms have a sink and a small desk. There are also single rooms with shower and WC, as well as double rooms. Reservations, including deposit payment, are to be made by the end of March 2000. Details will follow in later announcements.

Hotels

Hotel prices and quality vary widely in Paris. The second announcement will include a list of choices within the range of 250 FF to 650 FF per night. Rooms of this price include a double bed, shower, WC and, frequently, telephone and TV. Prices do not include breakfast. The cheaper hotels - limited in number - may not be central but some are located not far from the meeting place; distances to the Sorbonne will appear in the forthcoming hotel list. The organizing committee hopes to obtain reduced prices in some hotels. Details will be sent out later. We recommend that you make your hotel reservations by March 2000 at the latest, because Paris is Paris and year 2000 is year 2000! Hotels may require payment of one or two nights upon reservation. Frequently, reservations can be requested by Fax and paid by (faxing the number of) credit card or by traveller's check. The organizing committee can help you if you run into difficulties when making your reservations.

Exchange rates of some common currencies

Indicative rates, September 8, 1999.

1 Euro = 6.55957 FF = 117,66 Yens = 1,06 US$ = 1,58 Can$ = 0,654 Sterling pound

1 FF = 0,152 Euro = 0,162 US$ = 0,241 Can$ = 0,0996 Sterling pound = 17,94 Yens.

Address: LC 2000, Equipe de Logique Mathematique, case 7012, Universite Paris 7 - Denis Diderot, 2 place Jussieu, 75251 Paris Cedex 05 - France

E-mail: lc2000@logique.jussieu.fr
Website: http://lc2000.logique.jussieu.fr

To the top of this file