Logic List Mailing Archive

Second Announcement of LC2003, August 2003, Helsinki

Apologies to those of you who receive this more than once


                 **SECOND ANNOUNCEMENT - CALL FOR PAPERS**

                          Logic Colloquium '03.

       European Summer Meeting of the Association for Symbolic Logic



                   Helsinki, Finland, 14-20 August 2003

                       http://www.helsinki.fi/lc2003/


Please note the deadline for travel award applications: Tuesday, April 1,
2003.


SPEAKERS

Tutorials:

  Michael Benedict, Bell Labs
  Stevo Todorcevic, Paris

Plenary Speakers:

  Alexandru Baltag, Oxford
  Howard S. Becker, South Carolina
  Zo? Chatzidakis, Paris
  Matthew Foreman, Irvine
  Jean-Yves Girard, Marseille
  Martin Grohe, Edinburgh
  Peter T. Johnstone, Cambridge
  Simo Knuuttila, Helsinki
  Menachem Kojman, Be'er-Sheva
  Michael C. Laskowski, Maryland
  Per Martin-L?f, Stockholm
  Larisa Maksimova, Novosibirsk
  Dag Normann, Oslo
  Graham Priest, Melbourne
  Pavel Pudl?k, Prague
  Michael Rathjen, Leeds
  Saharon Shelah, Jerusalem and Rutgers
  Richard A. Shore, Cornell

Special Sessions:

Model Theory

  Tuna Altinel, Lyon
  Matthias Aschenbrenner, Berkeley
  Tapani Hyttinen, Helsinki
  Wai Yan Pong, CSU Dominguez Hills

Set Theory

  Arthur W. Apter, CUNY
  Steve Jackson, North Texas
  Heike Mildenberger, Vienna
  Maurice C. Stanley, San Jose

Recursion Theory and Arithmetic

  Klaus Ambos-Spies, Heidelberg
  Oleg V. Kudinov, Novosibirsk
  Chris Pollett, San Jose
  John V. Tucker, Swansea

Proof Theory and Non-classical Logic

  Ralph Matthes, Munich
  Erik Palmgren, Uppsala
  Jeff Paris, Manchester
  Tarmo Uustalu, Tallinn

A list of titles and abstracts is available on the web site.

TRAVEL AWARDS

Travel awards for students and young researchers have been made available
by the organizers.  In some cases full compensation of expenses is
possible. The website includes detailed information about the awards,
instructions of how to apply, and an electronic form which may be used for
the application.

The deadline for travel award applications is Tuesday, April 1, 2003.

CONTRIBUTED PAPERS

Contributed 20-minute talks are invited in all areas of logic. Abstracts
should be submitted by Thursday, May 15, 2003, preferrably in electronic
form.  Please see the website for submission instructions.

LOCAL ARRANGEMENTS

CONGRESZON LTD is the official congress office of the Logic Colloquium
2003 and is in charge of registration, the social program, accommodation
and all remaining practical matters. The contact person is Ms. Riitta
Tuominen. Address: It?lahdenkatu 22 A, FIN-00210 Helsinki, Finland Tel:
+358 9 5840 9359 Fax: +358 9 5840 9555, Email:
riitta.tuominen@congreszon.fi (Note! Please write LC2003 in the subject of
your email).

REGISTRATION PROCEDURE

To register for the Colloquium, to reserve hotel accommodation and/or to
book social events and tours, please refer to the registration form and
instructions on the web site.

Registration fees (EUR):
                       before    after May 31
  Full fee             200       250
  Accompanying person   70        90

There is no fee for (1) students who have been granted financial support,
(2) invited speakers and (3) members of the Program Committee. The
registration fee includes: admission to all sessions, receptions and the
conference proceedings published by ASL in the series Lecture Notes in
Logic, to be sent to the registered participant afterwards.

The accompanying person's fee includes receptions and the special half day
tour for accompanying persons on Friday 15.8.  Children under 18 are
exempted from the accompanying person's fee, and they can attend the
special events at half price.

To be eligible for early registration the payment should be received by
May 31, 2003.

LUNCHES

Participants can purchase lunch tickets in advance for 5 euros each. See
the web site for details.

ACCOMMODATION

Accommodation during the Colloquium has been reserved at the hotels listed
below. Please note that when reserving a double room both names should be
listed on the form. Congreszon Ltd cannot guarantee late reservations.

To guarantee your hotel reservation a deposit of 150 euros for hotels and
60 euros for hostels is required.  The deposit should be paid together
with the other registration payments.

Tutorial, plenary and special session speakers need not make a hotel
reservation. Unless notified otherwise, the organizers will book
accommodation for them at Cumulus Seurahuone, Cumulus Kaisaniemi or the
University Guesthouse. Students and young researchers with accommodation
support will be housed by the organizers in Hostel Satakuntatalo.

Holiday Inn Helsinki City Centre (114/176)
Cumulus Seurahuone (102/155)
Cumulus Kaisaniemi (98/138)
Hostel Academica (53/75)
Hostel Satakuntatalo (39/56) (most rooms go to students)
Prices EUR sgl/dbl.

SOCIAL PROGRAM 

Thursday 14.8   afternoon         Opening Ceremony and Reception
Saturday 16.8   at 18.00 - 22.00  Sauna evening (60 euros)
Sunday 17.8     afternoon         Architectural tour of Helsinki and
                                  classical music concert (35 euros)
Monday 18.8     at 18.00 - 23.00  Banquet (25 euros)

Tours for accompanying persons

Friday 15.8     at 10.00 - 13.00  Tour for accompanying persons
Saturday 16.8   Day trip          Excursion to Tallinn, Estonia

Post-Colloquium tour to St. Petersburg, 22 - 24.8.2003

More information: http://www.helsinki.fi/lc2003/