ESSLLI97 9th European Summer School in Logic_ Language and

Document Sample
ESSLLI97 9th European Summer School in Logic_ Language and Powered By Docstoc
9th European Summer School in Logic, Language and Information

Aix-en-Provence (FRANCE) August 11-22, 1997


page 2


ESSLLI is an annual European convention of researchers in logic, linguistics and computer science. These three scientific fie lds have recently converged on innovative interdisciplinary research topics. A major application is human-machine communication using natural language. This research is especially useful for information exchange and retrieval. With the recent development of information highways, the information transfer on international networks has increased a lot. We need high level tools for accessing and filtering this information, and making it available to the user. This is a challenging field which will grow a lot in the next few years. ESSLLI is a high-level international gathering: each year it attracts the best international specialists and the large number of participants (about 450) ranks it among the major events in this field. Following Gröningen (The Netherlands), Leuven (Belgium), Saarbrücken (Germany), Colchester (UK), Lisbon (Portugal), Copenhagen (Denmark), Barcelona (Spain) and Prague (Czech Republic), ESSLLI will be held for the first time in France, in Aix-en-Provence.

Philippe BLACHE Chairman of the ESSLLI’97 Organising Committee

9th European Summer School in Logic, Language and Information
Location Dates Université de Provence, Aix-en-Provence (FRANCE) August 11 - 22,1997


ESSLLI’97 Duration Public Chair of the Organising Committee 10 days Students and scholars, mainly from Europe Philippe BLACHE 2LC - CNRS 1361 route des Lucioles 06560 Sophia Antipolis FRANCE Chair of the Programme Committee Bill KELLER School of Cognitive & ComputingScience The University of Sussex Falmer, Brighton BN1 9QH, East Sussex, UK Information E-mail : Web: Phone : +44 (0) 1273.678755 Fax : +44 (0) 1273.671320 Phone : +33 (0) 492.96.73.98 Fax : +33 (0) 493.65.29.27 E-mail :

page 3

Programme Committee: The Programme Committee has 6 members, one for each subfield of ESSLLI : Language Logic Information Danièle Godard (Paris) Sergei Artemov (Moscow) Gert Smolka (Saarbrücken) Language & Logic Information & Language Logic & Information Dag Westerstahl (Stockholm) Bill Keller (Sussex), Chair Georg Gottlob (Vienna)

ESSLLI’97 Organising Committee:

page 4

This committee is representative of the local community both from a scientific and a geographical point of view and includes an industrial partner (Rank Xerox Research Centre) : Anne Abeillé (TALANA, Paris) Gabriel Bès (GRIL, Clermont-Ferrand) Philippe Blache (2LC, Sophia-Antipolis), Chair Christophe Fouqueré (LIPN, Paris) Danièle Godard (LLF, Paris) Benoît Habert (ENS, Fontenay) Alain Lecomte (INRIA, Nancy) Philip Miller (Université de Lille) Christian Jacquemin (IRIN, Nantes) Monique Rolbert (LIM, Marseille) Paul Sabatier (LIM, Marseille) Patrick Saint-Dizier (IRIT, Toulouse) Jean Véronis (LPL, Aix-en-Provence) Annie Zaenen (RANK XEROX Research Centre, Grenoble) Richard Zuber (LLF, Paris) Pierre Zweigenbaum (DIAM, Paris)


Logic, Language and Information (LLI) has attracted and brought together a large number of active European 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, European event, with no counterparts in Europe or elsewhere in the world. Keywords : Logic, Linguistics, Computer Science, Linguistic Theories, Natural Language Processing

Scientific Situation and Objectives 1. Motivations
1.1 Interest of the Topic These three disciplines and their interactions provide a basis for the description and the processing of natural language. The research is at the centre of problems such as those coming from Human-Machine communication. In this field, interdisciplinary work among logicians, linguists and computer scientists is indispensible. However, we observe that such interdisciplinary work is not yet widespread. These three domains have only started to collaborate a few years ago, especially since the development of new linguistic theories. We have now to go forward and develop a common formal basis. There are several explanations for the slow development of the interdisciplinary approach. Researchers are either linguists, or computational scientists, or mathematicians and there are few opportunities for bridging the gap between these different domains. ESSLLI'97 is an opportunity for such an interdisciplinary exchange. The main purpose of the event is to stimulate further thoughts about the methods, languages and tools for Natural L anguage Processing. The encounter also helps to strengthen the collaboration between researchers in NLP, to create new collaborations between laboratories in different countries, etc. 1.2. The School ESSLLI gathers the best experts in the different domains. The event is both an international conference and a summer school. Beside courses at different levels


page 5

(introductory and advanced), workshops and symposia are organized in each of the six domains. In addition, various related conferences and workshops (e.g. Conference on Formal Grammars, Workshop on Linguistic Engineering, etc.) are planned, giving further opportunities to present advanced research. The interest of this way of working lies in the alternance between strongly structured interventions and periods devoted to the study of current research problems. In this way the access to and the exchange of information in the three subjects covered are encouraged.

2. Participants
The participants are of two kinds : young researchers at the doctoral or post-doctoral level and senior researchers. In addition there is a strong interest from industry, in particular from Rank Xerox and IBM. These two companies regularly participate as students as well as lecturers. French firms or institutions which work in this field since many years (e.g. GSI-ERLI, EDF, PROLOGIA, etc.) have also expressed interest. The following estimates are based upon the previous ESSLLI's. Approximately 450 participants come to ESSLLI, mainly from European countries. More precisely, 20% come from France, 20% from neighbouring countries, 40% from other European countries and 20% from non European countries. The potential number of French participants (approx. 90) can be estimated on the basis of different sets of data. First, as shown by the composition of the organizing committee, most labs involved in this domain are represented. Moreover, a number of teaching departments have already integrated the summer school in their cursus at the post-graduate level. Finally, our expertise in conference and meeting organization allows us to confirm this estimate: an informal polling of the participants at the two last meetings organized in France (HPSG’96 and TALN’96) leads to the same figure.

Expected consequences and innovative aspects
The aims of this summer school are many. From a scientific point of view, the field needs a formal basis allowing the development both of a representational framework and of implementation techniques especially concerning decidability and of complexity. It is legitimate to expect that many of the courses, symposia and workshops will give rise to new scientific developments. Furthermore, the approach consisting in bringing together researchers of different origins will encourage collaboration on new projects on the European level. Finally, a special effort will be made to improve the pedagogical aspects of the summer school using a variety of means for information and communication. Specifically, all of the working documents and proceedings will be made available on the ESSLLI'97 website several weeks before the beginning of the summer school. This will allow optimal preparation of the courses and conferences. Moreover, the website will allow contacts between participants and speakers before the event.


page 6

Prelimiray Programme
Introductory Courses Advanced Courses B. Dorr & P. Saint-Dizier M. Pickering & M. Crocker M. Moortgat & P. Oehrle C. Gardent A. Abeillé, D. Godard & P. Miller N. Asher A. Zaenen Lexical semantics of predicative forms Human Sentence Comprehension Grammatical Resources: Logic & Structure The Syntax and Semantics of Focus The Major Syntactic Structures of French Applications of Pragmatic Theories of Discourse to Natural Language Interpretation Application-Oriented Grammar Writing


Introductory Courses Advanced Courses L. Moss S.Feferman & G. Jaeger A.Sernadas & C.Sernadas L.Hella L.Beklemishev M.Kracht & F.Walter J.Makowsky Circularity Applicative theories and variable types Categorial techniques for combining logics Finite model theory Provability and Reflection Topics in Polymodal Logic Translations, reductions and interpretations

Workshops Symposium

Introductory Courses Advanced Courses P. Van Hentenryck B. C. Pierce R. Backofen & P. Clote A. Podelski T. Fruehwirth Constraint Programming For Combinatorial Search Problems Programming in the pi-calculus Computational Biology Set constraints, their use for program analysis and for solving constraint problems over (feature) trees Constraint Reasoning

Introductory Courses N. Asher & T. Fernando J. Groenendijk & M.Stokhof R. Zuber M.A. Moshier E. Keenan & E. Stabler H. Arlo-Costa & K. Segerberg S. Peters & J. van der Does A. Ranta T. Jansen & P. Pagin Logical aspects of the semantics-pragmatics interface Update semantics a discourse coherence Logics and Grammars as Deductive Systems Category theoretic foundations of formal linguistics Mathematical linguistics and abstract grammar AGM in and out of Focus Quantifiers, Collectivity and Reciprocals The informal language of mathematics Compositionality

Advanced Courses

Workshops Symposium

Introductory Courses B. Krenn & C. Samuelsson E. Hinrichs, D. Meurers & J. Nerbonne P. Blackburn & J. Bos R. Gaizauskas M. Johnson & M. Kay A. Lecomte, G. Morrill & C. Rétoré C. Paris & R. Dale Statistical methods in computational linguistics Grammar development in constraint-based grammar formalisms Representation and inference for Natural Languages: a first course in computational semantics Information extraction Deductive approaches to constraint-based parsing and generation Geometry of language Natural Language Generation

page 7

Advanced Courses


Introductory Courses Advanced Courses F. Baader G. Brewka & J. Dix W.C. Rounds V. Marek & M. Truszczynski A. Dawar & I. Sterwart J. Mullins J. Vaananen W. van der Hoek, Y. Lesperance & R. Scherl Knowledge Representation and Logic Extended Logic Programming and Knowledge Representation Domain theory and its applications in LLC Nonmonotonic reasoning -- compuational perspectives Logic and computation with finite structures Recursion Theory and Concurrency Models Generalized Quatifiers and Computation Logical Approaches to Agent Modelling

Workshop Symposium

Evaluation Procedure
Evaluation of the preceding ESSLLIs was done in two ways. First, a questionnaire is distributed to all participants. Experience shows that about 30-40% of the questionnaires are returned and are usable. In addition, follow-up is provided by the permanent committee of FoLLI. This committee meets twice a year to analyse and evaluate past schools, in order to improve the organisation of future ones. A guidebook for organisers is published every year to share experiences. The middle and long-term benefits of the school will be analysed at the national level. Relevance and focus of the proposed objectives will be mesured in terms of better structuring of the community, changes in teaching trends and emergence of new projects.

Practical details
Expected attendance European attendance French attendance 450 participants 60 % of total, (approximately 250-300 people) 20% of total, (approximately 90 people)

ESSLLI’97 Planning of preparatory meetings: - Standing committee meetings: . August 17,1996 (Prague, during ESSLLI'96) . Jannuary 7,1997 (Tilburg) . Friday, September 27, 1996 (Aix) . Friday, December 13,1996 (Paris) . Monday, February 3, 1997 (Paris) . Monday, May 5, 1997 (Aix)

page 8

- Organising committee meetings:

One should stress that organisational work, at the level of both the standing committee and the organising committee, is performed mostly through e-mail. Moreover, the organiser of the previous ESSLLI summer school (Prague, August 1996) spend regularly periods with the French organising committee in order to maximise knowledge transfer and to ensure efficient follow-up of the summer school. Communication: The announcement of ESSLLI'97 is made essentially via Internet (announcement through the specialized conference lists, th rough the news and creation of a new WEB site). A presentation is already available (see enclosed document(s)) and has already been issued at the COLING'96 (Copenhagen), ESSLLI'96 (Prague) and various other conferences. A presentation leaflet and posters has been issued in December and will be circulated at all the scientific meetings organised on a connected theme throughout the year, as well as through the mailing lists of the FoLLI association and that of the Natural Language department of the GDR-PRC CHM. The first annoucement has been distributed by the beginning of November.

Provisional Budget
Expected Expenses :

Accomodation (participants and lecturers) Travel expenses (lecturers) Travel expenses (organisers) Organisation Staff Meetings Social events TOTAL

700,000 F 270,000 F 30,000 F 300,000 F 200,000 F 30,000 F 70,000F 1.600,000 F

(110,000ECU) (42,000 ECU) (4,7,000 ECU) (47,000 ECU) (31,000ECU) (4,7,000 ECU) (11,000 ECU) (250,000 ECU)

ESSLLI’97 Expected Income:The total costs will be about 2,800 F for students, 3,800 F for scholars and 5,000 F for industrials. Registration fees CNRS MENESR European Union Regional Council County Council Ville d’Aix-en-Provence University, labs, associations Sponsors TOTAL 750,000 F 300,000 F 100,000 F 100,000 F 100,000 F 80,000 F 20,000 F 100,000 F 50,000 F 1.600,000F (118,000ECU) (47,000ECU) (15,500ECU) (15,500ECU) (15,500ECU) (12,500 ECU) (3,200ECU) (15,500ECU) (7,800 ECU) (250,000 ECU)

page 9


page 10

9th European Summer School in Logic, Language and Information (ESSLLI’97)
Location Dates Local Chair Université de Provence, Aix-en-Provence, FRANCE August 11 -22, 1997 Philippe BLACHE 2LC - CNRS 1361 route des Lucioles 06560 Sophia Antipolis, France Anne Abeillé (TALANA, Paris) Gabriel Bès (GRIL, Clermont-Ferrand) Philippe Blache (2LC, Sophia-Antipolis), Chair Christophe Fouqueré (LIPN, Paris) Danièle Godard (LLF, Paris) Benoît Habert (ENS, Fontenay) Christian Jacquemin (IRIN, Nantes) Alain Lecomte (INRIA, Nancy) Sergei Artemov (Moscow) Danièle Godard (Paris) Georg Gottlob (Vienna) Theme Keywords Attendance Expected Expenses : Accomodation : Travels : Organisation : Staff : Others : Total : 700,000 F 300,000 F 300,000 F 200,000 F 100,000 F 1.600,000 F (250,000 ECU)

Phone :+33 (0) 492.96.73.98 Fax : +33 (0) 493.65.29.27 E-mail Philip Miller (Université de Lille) Monique Rolbert (LIM, Marseille) Paul Sabatier (LIM, Marseille) Patrick Saint-Dizier (IRIT, Toulouse) Jean Véronis (LPL, Aix-en-Provence) Annie Zaenen (RANK XEROX, Grenoble) Richard Zuber (LLF, Paris) Pierre Zweigenbaum (DIAM, Paris) Bill Keller (Sussex), Chair Gert Smolka (Saarbrücken) Dag Westerstahl(Stockholm)

Organising Committee

Programme Committee

Combine the findings from Logic, Computer Science, Linguistics and Cognitive Science. Important European industrial applications covered by the school are Logic Programming, Concurrency, and Natural Language Processing. Logic, Linguistics, Computer Science, Linguistic Theories, Natural Language Processing 450 participants Expected Income: Registration fees : CNRS : MENESR : European Union : Regional Coucil: Countu Council : Ville d’Aix : University, labs,asso.: Sponsors : 750,000 F 300,000 F 100,000 F 100,000 F 100,000 F 80,000 F 20,000 F 100,000 F 50,000 F

Total : 1.600,000 F (250,000 ECU)

page 11