-------------------------------------------------------------------------------
-LLLLLLL--LLLLLLL--LLLLLLL---LLL-------LLL-------LLL-----L--LLLLLLL---LLLLLLL--
-LLL------LLL------LLL-------LLL-------LLL-------LLL---L----LLLLLLL-------LLL--
-LLLLLL---LLLLLLL--LLLLLLL---LLL-------LLL-------LLL------------LLL-------LLL--
-LLL----------LLL------LLL---LLL-------LLL-------LLL------------LLL-------LLL--
-LLLLLLL--LLLLLLL--LLLLLLL---LLLLLLL---LLLLLLL---LLL------------LLL-------LLL--
-------------------------------------------------------------------------------
ESSLLI'97
European Summer School in Logic, Language, and Information
_________
Aix-en-Provence, France
August 11 - 22, 1997
http://www.lpl.univ-aix.fr/~esslli97
_________
Contents : - General Information
- Registration Form
- Programme & contacts
+---------------------+
| GENERAL INFORMATION |
+---------------------+
Logic, Language and Information have attracted and brought together a large
number of active researchers from disciplines such as Logic, Computer Science,
Linguistics and Cognitive Science, who consider the use of logical techniques
(broadly conceived) as a thread unifying their research efforts. The European
Summer School in LLI (ESSLLI) has become the main meeting place for young
researchers and research students in this rapidly growing field. ESSLLI is a
unique, interdisciplinary event, with no counterparts in Europe or elsewhere
in the world.
The main focus of the summer school is the interface between logic,
linguistics and computation as far as it concerns the modelling of human
language and cognitive abilities. The 1997 summer school programme includes
courses, workshops and symposia covering a variety of topics within six areas
of interest: Logic, Language, Computation, Logic and Computation, Computation
and Language, Language and Logic.
ESSLLI'97 will take place at the Aix-en-Provence Faculty of Arts(University
of Aix-Marseille I). This Faculty is close to the old town centre. There are
regular connections by bus (25 mns) from the international airport of Marseille
and by train (30mns) from Marseille. The Faculty is at a 10 minute walking
distance from the railway station.
Calendar
--------
April 30th Early registration deadline
May 3rd Deadline of the student session call for papers
May 30th Deadline for student grants application
June 15th Accomodation reservation deadline
1. Registration Fees
--------------------
. Registration fees only cover the participation in this summer school.
Miscellaneous expenses (accomodation, meals and social activities) are
in addition.
. The registration deadline to get the early registration fare is :
April 1997, 30th.
. Students must enclose with the registration form a photocopy of their
student card.
. Members of FoLLI get a discount of 30 FF for students and 50 FF for others.
----------------+---------------------------------------+-------------------+
Status | Early registration (before 4/30/97) | Late registration |
----------------+---------------------------------------+-------------------|
Student | 1.100 FF | 1.400 FF |
Scholar | 1.900 FF | 2.300 FF |
Industrial | 3.800 FF | 4.600 FF |
----------------+---------------------------------------+-------------------+
2. Accomodation
---------------
>>>>>> Reservation should be made before June, 15th <<<<<<<
. Hotel :
Two classes of hotels are available. A deposit will be necessary to
book a room. The prices include breakfast.
Classes - 250-300 FF / night (Deposit : 600 FF)
- 350-400 FF / night (Deposit : 1200 FF)
. Hall of residence: - 70 FF / night (Complete payment at
the reservation)
3. Meals
--------
. It is possible to have lunches at the University cafeteria. A reservation is
necessary before June 1997, 30th. Reservations and payments have to be made
on the basis of full weeks Luncheon vouchers (day by day) will be provided at
your arrival.
. The cafeteria of the University will be closed on August, 15th.
. It is also possible to buy sandwiches on the campus of the
University.
- First week (4 meals) = 100 FF
- Second week (5 meals) = 125 FF
4. Social events
----------------
Two Thursday evening parties will be organized (buffet, concert) one on August
14 and one on August 21. To attend you should buy a ticket valid for both
parties at 200 FF per person. This ticket includes the buffet and the concerts.
5. Tee-shirt
------------
The ESSLLI'97 Tee-shirt is on sale at the price of 50 FF.
+-------------------+
| REGISTRATION FORM |
+-------------------+
Name: ________________________________________________
First Name: __________________________________________
Institution: _________________________________________
Address: ___________________________________________________________________
____________________________________________________________________
____________________________________________________________________
Country: ____________________________________________
Phone : ____________________________ Fax : _____________________________
E-mail : __________________________________________
Member of FoLLI : o Yes o No
1. Registration Fees
--------------------
----------------+---------------------------------------+-------------------+
Status | Early registration (before 4/30/97) | Late registration |
----------------+---------------------------------------+-------------------|
Student | o 1.100 FF | o 1.400 FF |
Scholar | o 1.900 FF | o 2.300 FF |
Industrial | o 3.800 FF | o 4.600 FF |
----------------+---------------------------------------+-------------------+
2. Accomodation
---------------
- Day of arrival : _____________
- Day of departure : _____________
- Number of nights : _____________
. Hotel : Classes o 250-300 FF / night (Deposit : 600 FF)
o 350-400 FF / night (Deposit : 1200 FF)
. Hall of residence: o 70 FF / night (Complete payment at
the reservation)
- Total amount : __________
3. Meals
--------
o First week (4 meals) = 100 FF o Second week (5 meals) = 125 FF
- Total amount : __________
4. Social events
----------------
o I would like to take part in ESSLLI parties
- Number of tickets : __________
- Total amount : __________
5. Tee-shirt
------------
o I would like to buy one (or several) tee-shirt(s)
- Number of tee-shirts and size: ____ L ____ XL ____ XXL
- Total amount: __________
+-------------------+
| Method of payment |
+-------------------+
1. Detailed account
-------------------
Registration fees : FF ___________________________
Accomodation : FF ___________________________
Meals: FF ___________________________
Social events : FF ___________________________
Tee-shirt : FF ___________________________
Amount: FF ___________________________
Credit card charges
(Japan : 4,5 %, Other countries : 3%) FF ___________________________
TOTAL AMOUNT : FF ___________________________
2. Methods of payment
---------------------
. Cheques : Made out in French Francs, payable to FoLLI.
. Bank transfers :
- Sorry but you will have to pay the banking charges (if you don't,
your registration will be considered as incomplete).
- Please enclose with this form a copy of your transfer. This copy
should mention the name and adress of your bank.
- Do not forget to write down your name on the transfer.
- The bank transfer must be done in French Francs on the account:
Bank : ABN-AMRO
Account number : 45 20 12 449
Swift Code: ABNANL 2A
References : ESSLLI'97 / your name
Address : Vereniging FoLLI
Plantage Muidergracht 24
1018 TV AMSTERDAM
The Netherlands
. Credit cards :
Credit card charges are yours. Whatever your credit card is, credit card
charges represent 4,5% of the total amount if your payment comes from Japan
and 3% if your payment comes from any other foreign country.
o VISA o Mastercard o American Express
Cardholder's Name : ______________________________________________________
Card number : ____________________________________
Expiration date : ________________________________
Amount : _________________________________________
Signature : _______________________________________
. If these methods of payment are inconvenient, it will be possible for you to
pay cash once you are in Aix. In this case, you will have to pay the late
registration fee and you will have to book your room yourself. Some exceptions
to these arrangements can be made for people coming from countries which do not
allow any of the long distance methods of payment above.
3. Cancellation
---------------
- Cancellations received before June 1997, 15th:
. running costs = 400FF
- Cancellations received after June 1997, 15th:
. running costs = 50% of the registration fees
. no reimbursement of the deposits paid for the hotel
Date : _____________________ Signature : __________________________________
To return by e-mail to : esslli97@lpl.univ-aix.fr
A copy of this registration form together with the justificatory of payment
and the copy of the student card has to be sent by surface mail to :
ESSLLI'97
LPL - Université de Provence
29 Avenue Robert Schuman
13621 Aix-en-Provence
FRANCE
+---------------------+
| ESSLLI'97 PROGRAMME |
+---------------------+
LANGUAGE
--------
Introductory Courses
--------------------
B. Dorr (Univ. of Maryland) & P. Saint-Dizier (Univ. of Toulouse):
Lexical Semantics of Predicative Forms
M. Pickering (Univ. of Glasgow) & M. Crocker (Univ. of Edinburgh):
Human Sentence Comprehension
Advanced Courses
----------------
M. Moortgat (Univ. of Utrecht) & P. Oehrle (Univ. of Arizona):
Grammatical Resources: Logic & Structure
C. Gardent (Univ. of Saarlandes):
The Syntax and Semantics of Focus
A. Abeille, D. Godard (Univ. of Paris) & P. Miller (Univ. of Lille):
The Major Syntactic Structures of French
Workshop
---------
D. Brown (Univ. of Surrey)
Formal Elegance and Natural Complexity in Morphology
Symposium
---------
N. Asher (Univ. of Texas):
Applications of Pragmatic Theories of Discourse to
Natural Language Interpretation
_________________________________________________________
LOGIC
-----
Introductory Courses
--------------------
L. Moss (Univ. of Indiana):
Circularity
S. Feferman (Stanford Univ.) & G. Jaeger (Univ. of Bern):
Applicative Theories and Variable Types
Advanced Courses
----------------
A. Sernadas & C. Sernadas (Univ. of Lisbon):
Categorial Techniques for Combining Logics
L. Hella (Univ. of Helsinki):
Finite Model Theory
L. Beklemishev (Steklov Mathematical Institute):
Provability and Reflection
Workshop
--------
F. Wolter & M. Zakharyaschev (JAIST):
Topics in Polymodal Logic
Symposium
---------
J. Makowsky (Technion):
Translations, Reductions and Interpretations
_________________________________________________________
COMPUTATION
-----------
Introductory Courses
--------------------
P. Van Hentenryck (Brown Univ.):
Constraint Programming for Combinatorial Search Problems.
B. C. Pierce (Indiana Univ.):
Programming in the Pi-Calculus
Advanced Courses
----------------
A. Podelski (MPI):
Set Constraints, Their Use for Program Analysis and for Solving
Constraint Problems over (Feature) Trees
R. Backofen & P. Clote (Univ. of Munich):
Computational Biology
T. Fruehwirth ((Univ. of Munich):
Constraint Reasoning
_________________________________________________________
LANGUAGE & LOGIC
----------------
Introductory Courses
--------------------
N. Asher (Univ. of Texas) & T. Fernando ((Univ. of Stuttgart):
Logical Aspects of the Semantics-Pragmatics Interface in Discourse
J. Groenendijk & M.Stokhof ((Univ. of Amsterdam) :
Update Semantics & Discourse Coherence
R. Zuber (Univ. of Paris):
Logics and Grammars as Deductive Systems
Advanced Courses
----------------
M. A. Moshier (Chapman Univ.):
Category-Theoretic Foundations of Formal Linguistics
E. Keenan & E. Stabler (UCLA):
Mathematical Linguistics and Abstract Grammar
H. A. Costa (Carnegie-Mellon Univ.) & K. Segerberg (Uppsala):
AGM in and out of Focus
Workshops
---------
S. Peters (Stanford Univ.) & J. van der Does (Univ. of Amsterdam):
Quantifiers, Collectivity and Reciprocals
A. Ranta (Univ. of Helsinki):
The Informal Language of Mathematics
Symposium
---------
T. Jansen (Univ. of Amsterdam) & P. Pagin (Stockholm Univ.):
Compositionality: Logical and Meaning Theoretical Aspects
_________________________________________________________
LANGUAGE & COMPUTATION
----------------------
Introductory Courses
--------------------
B. Krenn & C. Samuelsson (Univ. of Saarlandes):
Statistical Methods in Computational Linguistics
E. Hinrichs, D. Meurers (Univ. of Tuebingen) & J. Nerbonne (Groningen):
Grammar Development in Constraint-Based Grammar Formalisms
P. Blackburn & J. Bos (Univ. of Saarlandes):
Representation and Inference for Natural Languages: A First
Course in Computational Semantics
Advanced Courses
----------------
R. Gaizauskas (Univ. of Sheffield):
Information Extraction
M. Johnson (Brown Univ.) & M. Kay (Stanford Univ.):
Deductive Approaches to Constraint-Based Parsing and Generation
A. Lecomte (Grenoble), G. Morrill (UPC Barcelona) & C. Retore (INRIA):
Geometry of Language
Workshop
--------
C. Paris (CSIRO) & R. Dale (MRI):
Natural Language Generation
Symposium
---------
A. Zaenen (Rank Xerox Research Centre)
Grammar Writing as Software Development
_________________________________________________________
LOGIC & COMPUTATION
-------------------
Introductory Courses
--------------------
F. Baader (Univ. of Aachen):
Terminological Reasoning
G. Brewka (Univ. of Leipzig) & J. Dix (Univ. of Koblenz):
Extended Logic Programming and Knowledge Representation
Advanced Courses
----------------
J. Mullins (Univ. of Brest):
Recursion Theory and Concurrency Models
A. Dawar (Univ. of Wales) & I. Stewart (Leicester Univ.):
Logic and Computation with Finite Structures
V. Marek & M. Truszczynski (Univ. of Kentucky):
Nonmonotonic Reasoning: a Computational Perspective
B. Rounds (Univ. of Michigan):
Domain Theory and its Applications in LLC
Workshops
---------
J. Vaananen (Univ. of Helsinki):
Generalized Quantifiers and Computation
Symposium
---------
W. van der Hoek (Utrecht), Y. Lesperance (York Univ.) & R. Scherl (Heights):
Logical Approaches to Agent Modelling and Design
+----------+
| Contacts |
+----------+
Philippe Blache
ESSLLI'97
LPL - Universite de Provence
29, Avenue Robert Schuman
13621 Aix-en-Provence
FRANCE
fax: +33 442.59.50.96
tel: +33 442.59.20.73
e-mail : esslli97@lpl.univ-aix.fr
http://www.lpl.univ-aix.fr/~esslli97
Programme Committee
-------------------
Sergei Artemov (Moscow)
Daniele Godard (Paris)
Georg Gottlob (Vienna)
Bill Keller (Sussex), CHAIR
Gert Smolka (Saarbruecken)
Dag Westerstahl (Stockholm)
Organising Committee
--------------------
Anne Abeille (TALANA, Paris)
Gabriel Bes (GRIL, Clermont-Ferrand)
Philippe Blache (2LC, Sophia-Antipolis), CHAIR
Christophe Fouquere (LIPN, Paris)
Daniele Godard (LLF, Paris)
Benoit Habert (ENS, Fontrenay)
Alain Lecomte (INRIA, Nancy)
Philip Miller (SILEX, Lille)
Christian Jacquemin (IRIN, Nantes)
Monique Rolbert (LIM, Marseille)
Paul Sabatier (LIM, Marseille)
Patrick Saint-Dizier (IRIT, Toulouse)
Jean Veronis (LPL, Aix-en-Provence)
Annie Zaenen (RXRC, Grenoble)
Richard Zuber (LLF, Paris)
Pierre Zweigenbaum (DIAM, Paris)