---------------------------------------------------------
/ LOGIC COLLOQUIUM '99 /
/ /
/ August 1-6, 1999 /
/ /
/ University of Utrecht, NL /
/ /
/ CALL FOR PAPERS, CALL FOR REGISTRATION /
---------------------------------------------------------
European Summer Meeting of the Association for Symbolic Logic
Utrecht, the Netherlands, August 1-6, 1999
PROGRAM COMMITTEE
Wilfrid Hodges (chair, London),
Erik Barendsen (Nijmegen),
Jan van Eijck (Amsterdam),
Sergei Goncharov (Novosibirsk),
Dick de Jongh (Amsterdam),
Alexander Kechris (Pasadena),
Peter Koepke (Bonn),
Manuel Lerman (Storrs, Connecticut),
David Marker (Chicago),
Jaap van Oosten (Utrecht),
Andy Pitts (Cambridge),
Albert Visser (Utrecht).
ORGANIZING COMMITTEE
Jan van Eijck (chair), Peter Blok,
Paul Dekker, Vincent van Oostrom, Simone Panka, Maarten de Rijke,
Frans Snijders, Yde Venema.
MAIN TOPICS of LC'99
Proof theory, model theory, set theory, recursion theory, and computational logic, with computational logic as the topic of special focus of the conference.
The scientific program consists of tutorials, invited plenary lectures, special sessions, and contributed talks. The colloquium is organized by the University of Utrecht, in collaboration with the Centre of Mathematics and Computer Science (CWI) and the Dutch Research School in Logic (OzsL).
TUTORIALS
Group Actions and Countable Models, by Greg Hjorth (Los Angeles), Ten Topics in Term Rewriting, by Jan Willem Klop (Amsterdam), Categories and Types, by Ieke Moerdijk (Utrecht), Geometric Model Theory, by Anand Pillay (Urbana).
INVITED PLENARY SPEAKERS
Samson Abramsky (Edinburgh), Alessandro Andretta (Torino), Sergei Artemov (Moscow), Lev Beklemishev (Moscow), Peter Cholak (Notre Dame, Indiana), Deirdre Haskell (Worcester, MA), Dale Miller (Philadelphia), Andrei Morozov (Novosibirsk), Jan Rutten (Amsterdam), Patrick Speissegger (Toronto), Steve Todorcevic (Paris), Andreas Weiermann (Muenster).
SPECIAL EVENING SESSIONS
`Computing With the Guarded Fragment of First Order Logic' and `Logic Education and Dissemination.'
CONTRIBUTED TALKS
The deadline for submission of abstracts is Friday April 2, 1999.
The length of an abstract is limited to one page (and should not be much less either, to make the abstract sufficiently descriptive). The time slot for a contributed talk is 30 minutes. We intend to distribute printed abstracts at the meeting, but we also plan to make the abstracts available via WWW; for this we need a plain ASCII text version of your abstract.
Please submit your abstract by email to the LC'99 program chair,
[email protected], by sending two different e-mail messages with:
- Your personal information and the ASCII text of your abstract (to be put on the WWW page). This message should consist of the subject line "LC99 ABSTRACT ", and the body containing lines
Title:, Author:, Affiliation:, E-mail:, http: (if available),
Subject Area:, in this order,
with the obvious contents, followed by a blank line and the text of your abstract. If necessary, you can typeset mathematical expressions in LaTeX.
Keep in mind, however, that this abstract will be posted as an ASCII text on the WWW page.
-
The postscript of the abstract (to be printed in the book of abstracts), limited to one page (between 300 and 500 words; this includes title, references, etc.). This message should consist of the subject line "LC99 ABSTRACT POSTSCRIPT ", and the body containing only the postscript file.
We strongly urge you to submit electronically. Those without access to email may send a hardcopy of their submission by regular mail, bearing in mind that the abstract is due in the Netherlands, at the address specified below, by the deadline of April 2, 1999.
PRELIMINARY PROGRAM
--------------------------------------------------------------
| Morning | Afternoon | Evening
---------------+-------------+--------------+-----------------
Sun, Aug 1 | (arrival)
---------------+-------------+--------------+-----------------
Mon, Aug 2 | Tutorials |Inv+Cont Talks| Reception
---------------+-------------+--------------+-----------------
Tue, Aug 3 | Tutorials |Inv+Cont Talks| Evening Session
---------------+-------------+--------------+-----------------
Wed, Aug 4 | Inv Talks | Excursion + Conf Dinner
---------------+-------------+--------------+-----------------
Thu, Aug 5 | Tutorials |Inv+Cont Talks| Evening Session
---------------+-------------+--------------------------------
Fri, Aug 6 | Tutorials |Inv+Cont Talks| Conference Ends
---------------+----------------------------------------------
Sat, Aug 7 | (departure)
--------------------------------------------------------------
RELATED EVENT: ESSLLI'99
Please note that the 11th European Summer School in Logic, Language and
Information (ESSLLI) will take place in Utrecht, August 9--20, with several satellite events. See http:://esslli.let.uu.nl/ for further information.
CONFERENCE SITE
LC'99 will take place at the Campus of Utrecht University, `de Uithof', on the skirt of Utrecht. There is a regular bus connection from Utrecht Central Station to de Uithof; the bus ride takes about 20 minutes. De Uithof can also easily be reached by car. Closest airport to Utrecht is Schiphol (Amsterdam Airport).
We have both student accommodation and hotel rooms available within reasonable distance from the conference site. See below.
CONFERENCE FEE
The conference arrangement comes in two flavours, Bare (without accommodation, for those who prefer to make their own accommodation arrangements) and Simple (with student room accommodation). For those who prefer more luxury, we have made a special conference deal with a 4 star hotel (see below). For this you should choose the `Bare' conference arrangement, and arrange your accommodation directly with them.
Prices for early registration (until April 30, 1999) are: Bare (NLG 400 for students, NLG 500 for non-students), Simple (NLG 650 for students, NLG 750 for non-students).
Starting from May 1, we charge NLG 100 extra, and we may have run out of accommodation possibilities.
The conference fee includes registration, conference handouts, conference reception on Monday, conference lunches, tea and coffee, excursion on Wednesday afternoon to the Kroeller Mueller museum in Otterlo, and conference dinner on Wednesday evening.
CONTACT ADDRESS (for regular mail submissions and local arrangements):
Logic Colloquium '99,
attention of ms. Simone Panka
CWI, P.O. Box 94079
1090 GB Amsterdam NL.
telephone: +31-20-5924009
email:
[email protected]
http://www.cwi.nl/lc99/
TRAVEL GRANTS
The ASL will make available modest travel grants to graduate students in logic and to recent PhDs, so that they may attend the 1999 ASL European Summer Meeting (LC'99) in Utrecht. The application letter should be brief (one page) and should include your name, your home institution, your thesis supervisor's name, a one-paragraph description of your studies and work in logic, your estimate of the travel expenses you will incur, and (for citizens or residents of the USA) citizenship or visa status. Applications for a travel grant should include a brief recommendation by the thesis supervisor.
Only modest grants will be possible, partially covering travel costs and perhaps some of the living expenses during the meeting. Women and members of minority groups are strongly encouraged to apply. In addition to funds provided by the ASL, this program of travel grants is now supported by a grant from the US National Science Foundation; NSF funds may be awarded only to citizens and permanent residents of the USA. Applications and recommendation letters should be sent preferably by e-mail to
[email protected] or by regular mail to ms Simone Panka at the address given above. The deadline for applications is Friday April 2, 1999.