---------------------------------------------------------
/ 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,
W.Hodges@qmw.ac.uk, by sending two different e-mail messages with:
o 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 <your name>", 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.
o 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 <your name>", 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: simone@cwi.nl
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 simone@cwi.nl
or by regular mail to ms Simone Panka at the address given above. The
deadline for applications is Friday April 2, 1999.
---------------------------------------------------------------------------
REGISTRATION SHEET LOGIC COLLOQUIUM '99
Please fill out and return to us, either in printed form by regular mail to
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/
or by email to simone@cwi.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.
[] I am going to attend Logic Colloquium 99.
[] I have submitted a paper and will attend if the paper is accepted.
Field of submitted paper
[] Computational Logic
[] Model Theory
[] Philosophical Logic
[] Proof Theory
[] Recursion Theory
[] Set Theory
[] Other: ......................
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.
Please get in touch directly with them, via
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 directly with them. Mention that you are an
LC'99 participant.
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.