This is to urge you to register as a participant of the European
Summer Meeting of the Association of Symbolic Logic.
Early registration period ends April 30. Please hurry to profit from
our early registration discount.
---------------------------------------------------------
/ LOGIC COLLOQUIUM '99 /
/ /
/ August 1-6, 1999 /
/ /
/ University of Utrecht, NL /
/ /
/ CALL FOR PARTICIPATION /
---------------------------------------------------------
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
List of contributed talks to be announced.
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.
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: simone@cwi.nl
http://www.cwi.nl/lc99/
-----------------------------------------------------------------
REGISTRATION SHEET LOGIC COLLOQUIUM '99
Please fill out and return to us, either by email to simone@cwi.nl
or in printed form by regular mail to
Logic Colloquium '99,
attention of ms. Simone Panka
CWI, P.O. Box 94079
1090 GB Amsterdam NL.
Surname ______________________________________________
First Name(s) ________________________________________
Mr/Ms + Title ________________________________________
Affiliation __________________________________________
Home or Work Address: home/work
Street _______________________________________________
Code, City ___________________________________________
Country ______________________________________________
e-mail _______________________________________________
http _________________________________________________
full-time student: YES/NO
Note: if you register as student you will have to send us proof of
your full-time student status.
Conference arrangement (please tick one):
[] Bare (Early Reg Student NLG 400, Late Reg Student NLG 500):
I am a full time student and will take care of accommodation
myself.
[] Bare (Early Reg Non-Student NLG 500 / Late Reg Non-Student
NLG 600): I will take care of accommodation myself.
[] With Simple Accommodation
(Early Reg Student NLG 650 /Late Reg Student NLG 750):
I am a student and want to be lodged in a student room.
Breakfast not included. Bring sheets and towels
or purchase them.
[] with Simple Accommodation (Early Reg Non-Student NLG 750 /
Late Reg Non-Student NLG 850):
I am not a student but still I want to be lodged in a
student room.
Breakfast not included. Bring sheets and towels
or purchase them.
For those who would like more luxurious accommodation, we have made a
deal with the Mitland Hotel. The special LC'99 price for single rooms
is NGL 150.50 per night, for double rooms NLG 181.50 per night.
This includes breakfast, use of swimming pool, sauna and Turkish bath.
You can make your booking through us. Please fill out the information
below (this assumes you have the `bare' arrangement, of course):
[] I would like to book a single room at the Mitland hotel
[] I would like to book a double room at the Mitland hotel.
My day of arrival is: (choose one) Sun 1/Mon 2/Tue 3/Wed 4
My day of departure is: (choose one) Thu 5/Fri 6/Sat 7
For further information you can visit their web site, or get in
touch directly with them via email or phone (they prefer to get
their bookings through us, though).
http://www.mitland.nl/home_e.htm,
email info@mitland.nl,
or phone +31-30-2715824.
Hotel Mitland is a four star hotel, located east of the city center,
in a green scenery. It will host most of the invited speakers.
Public transport will get you to the Logic Colloquium location
in about 20 minutes, but walking may get you there just as quickly.
We have negotiated a special discount on the normal prices in Summer.
Please make your arrangements through us. Payment should be arranged
directly with the hotel.
Early registration period ends April 30, 1999.
PAYMENTS
I will pay my registration fee of NLG _______ by:
[] banktransfer to RABO Bank, Kamerlingh Onneslaan 2/10, 1097 DG
Amsterdam; account #31.35.57.977 of "Stichting Wiskunde en
Informatica Conferenties"
[] credit card, number:
[] American Express
[] Visa
[] Euro/Master/Accesscard
Name Cardholder:
Address Cardholder:
Expiry date:
Date:
Signature:
NOTE: For early registration, the copy of your bank remittance
must reach us by April 30, 1999.