7.1583, FYI: European Summer School in Logic, Lang, and Information
The Linguist List
linguist at tam2000.tamu.edu
Thu Nov 7 14:43:34 UTC 1996
---------------------------------------------------------------------------
LINGUIST List: Vol-7-1583. Thu Nov 7 1996. ISSN: 1068-4875. Lines: 315
Subject: 7.1583, FYI: European Summer School in Logic, Lang, and Information
Moderators: Anthony Rodrigues Aristar: Texas A&M U. <aristar at tam2000.tamu.edu>
Helen Dry: Eastern Michigan U. <hdry at emunix.emich.edu> (On Leave)
T. Daniel Seely: Eastern Michigan U. <dseely at emunix.emich.edu>
Associate Editors: Ljuba Veselinova <lveselin at emunix.emich.edu>
Ann Dizdar <dizdar at tam2000.tamu.edu>
Assistant Editor: Sue Robinson <robinson at emunix.emich.edu>
Technical Editor: Ron Reck <rreck at emunix.emich.edu>
Software development: John H. Remmers <remmers at emunix.emich.edu>
Editor for this issue: dizdar at tam2000.tamu.edu (Ann Dizdar)
---------------------------------Directory-----------------------------------
1)
Date: Tue, 05 Nov 1996 18:06:23 GMT
From: esslli97 at ura1507.univ-paris13.fr (Ecole d'ete)
Subject: ESSLLI'97, European Summer School in Logic, Lang, and Information
---------------------------------Messages------------------------------------
1)
Date: Tue, 05 Nov 1996 18:06:23 GMT
From: esslli97 at ura1507.univ-paris13.fr (Ecole d'ete)
Subject: ESSLLI'97, European Summer School in Logic, Lang, and Information
- -----------------------------------------------------------------------------
-@@@@@@@--@@@@@@@--@@@@@@@---@@@-------@@@-------@@@----- at --@@@@@@@---@@@@@@@--
-@@@------@@@------@@@-------@@@-------@@@-------------- at ---@@@-@@@-------@@@--
-@@@------@@@------@@@-------@@@-------@@@-------@@@--- at ----@@@@@@@-------@@@--
-@@@@@@---@@@@@@@--@@@@@@@---@@@-------@@@-------@@@------------@@@-------@@@--
-@@@----------@@@------@@@---@@@-------@@@-------@@@------------@@@-------@@@--
-@@@----------@@@------@@@---@@@-------@@@-------@@@------------@@@-------@@@--
-@@@@@@@--@@@@@@@--@@@@@@@---@@@@@@@---@@@@@@@---@@@------------@@@-------@@@--
- -----------------------------------------------------------------------------
_______________________________________________________________________________
ANNOUNCEMENT OF
the Ninth European Summer School in
Logic, Language, and Information
ESSLLI'97
to be held in Aix-en-Provence, France
from August 11 until August 22, 1997
URL: http://www.lpl.univ-aix.fr/~esslli97
After summerschools in Groningen (1989), Saarbruecken (1990), Leuven
(1991), Colchester (1992), Lisbon (1993), Copenhagen (1994), Barcelona
(1995) and Prague (1996), the ninth European Summer School in Logic,
Language, and Information will be held in Aix-en-Provence, France,
from August 11 until August 22, 1997.
ESSLLI'97 is organized under the auspices of FoLLI, the European
Association for Logic, Language and Information.
Like the other ESSLLI summerschools, this one will have as its main
focus the intersection of the areas of logic, linguistics, and
computation. The programme includes courses, workshops and symposia
covering a variety of topics within six areas of interest: Logic,
Language, Computation, Logic & Computation, Computation & Language,
and Language & Logic.
Courses are given at both introductory and advanced levels.
Introductory courses are designed to familiarize students with new
fields and do not presuppose a particular background knowledge, while
advanced courses are designed to allow participants to acquire more
specialized expertise in areas they are already familiar with.
Workshops are chaired by an expert in the field and will provide an
opportunity for PhD students and other young researchers to present
their work and gain informed feedback and useful contacts. Symposia
will typically consist of a series of presentations on a timely topic
by people active in the relevant areas.
Besides courses, workshops and symposia, there will also be evening
lectures, in which the most current topics in research in Logic,
Language and Information will be addressed.
As in Prague, a student session will also be organised during the
school. A call for papers will be sent [out] in a few weeks.
Students will be encouraged to submit papers that show creativity,
innovative ideas and promise.
!!! Several grants will be available. More information soon !!!
###############################################################################
_______________________________________________________________________________
+---------------------------------+
| |
| ESSLLI'97 Preliminary Programme |
| |
+---------------------------------+
LANGUAGE
--------
Introductory Courses
B. Dorr (Maryland) & P. Saint-Dizier (Toulouse):
Lexical Semantics of Predicative Forms
M. Pickering (Glasgow) & M. Crocker (Edinburgh):
Human Sentence Comprehension
Advanced Courses
M. Moortgat (Utrecht) & P. Oehrle (Tucson):
Grammatical Resources: Logic & Structure
C. Gardent (Saarbruecken):
The Syntax and Semantics of Focus
A. Abeille, D. Godard (Paris) & P. Miller (Lille):
The Major Syntactic Structures of French
Workshop
A. Zaenen (Grenoble): Application-Oriented Grammar Writing
Symposium
N. Asher (Austin):
Applications of Pragmatic Theories of Discourse to
Natural Language Interpretation
LOGIC
-----
Introductory Courses
L. Moss (Indiana):
Circularity
Applicative Theories and Variable Types
Advanced Courses
A. Sernadas & C. Sernadas (Lisbon):
Categorial Techniques for Combining Logics
L. Hella (Helsinki):
Finite Model Theory
L. Beklemishev (Moscow):
Provability and Reflection
Workshop
M. Kracht (Berlin) & F. Wolter (Ishikawa):
Topics in Polymodal Logic
Symposium
J. Makowsky (Haifa):
Translations, Reductions and Interpretations
COMPUTATION
-----------
Introductory Courses
P. Van Hentenryck (Brown):
Constraint Programming for Combinatorial Search Problems.
B. C. Pierce (Indiana):
Programming in the Pi-Calculus
Advanced Courses
A. Podelski (Saarbruecken):
Set Constraints, Their Use for Program Analysis and for Solving
Constraint Problems over (Feature) Trees
R. Backofen & P. Clote (Munich):
Computational Biology
T. Fruehwirth (Munich):
Constraint Reasoning
LANGUAGE & LOGIC
----------------
Introductory Courses
N. Asher (Texas) & T. Fernando (Stuttgart):
Logical Aspects of the Semantics-Pragmatics Interface
J. Groenendijk & M.Stokhof (Amsterdam) :
Update Semantics & Discourse Coherence
R. Zuber (Paris):
Logics and Grammars as Deductive Systems
Advanced Courses
M. A. Moshier (Chapman):
Category-Theoretic Foundations of Formal Linguistics
E. Keenan & E. Stabler (UCLA):
Mathematical Linguistics and Abstract Grammar
H. A. Costa (Carnegie-Mellon) & K. Segerberg (Uppsala):
AGM in and out of Focus
Workshops
S. Peters (Stanford) & J. van der Does (Amsterdam):
Quantifiers, Collectivity and Reciprocals
A. Ranta (Helsinki):
The Informal Language of Mathematics
Symposium
T. Jansen (Amsterdam) & P. Pagin (Stockholm):
Compositionality
LANGUAGE & COMPUTATION
----------------------
Introductory Courses
B. Krenn & C. Samuelsson (Saarlandes):
Statistical Methods in Computational Linguistics
E. Hinrichs, D. Meurers (Tuebingen) & J. Nerbonne (Groningen):
Grammar Development in Constraint-Based Grammar Formalisms
P. Blackburn & J. Bos (Saarlandes):
Representation and Inference for Natural Languages: A First
Course in Computational Semantics
Advanced Courses
R. Gaizauskas (Sheffield):
Information Extraction
M. Johnson (Brown) & M. Kay (Stanford):
Deductive Approaches to Constraint-Based Parsing and Generation
A. Lecomte (Grenoble), G. Morrill (UPC Barcelona) & C. Retore (INRIA):
Geometry of Language
Workshop
C. Paris & R. Dale (Sydney): Natural Language Generation
LOGIC & COMPUTATION
-------------------
Introductory Courses
F. Baader (Aachen):
Terminological Reasoning
G. Brewka (Vienna) & J. Dix (Koblenz):
Extended Logic Programming and Knowledge Representation
Advanced Courses
J. Mullins (Nantes):
Recursion Theory and Concurrency Models
A. Dawar & I. Sterwart (Swansea):
Logic and Computation with Finite Structures
V. Marek & M. Truszczynski (Kentucky):
Nonmonotonic Reasoning -- Computational Perspectives
B. Rounds (Michigan):
Domain Theory and Applications
Workshops
J. Vaananen (Helsinki):
Generalized Quantifiers and Computation
Symposium
W. van der Hoek (Utrecht), Y. Lesperance (Toronto) & R. Scherl (Newark):
Logical Approaches to Agent Modelling
###############################################################################
PRACTICAL INFORMATION
How to reach Aix-en-Provence
. By plane : International Airport of Marseille
Shuttle (25 mns) between the airport and Aix
. By train : First to Marseille, then regional train or bus
between Marseille and Aix
Location
ESSLLI'97 will be hosted by the Literary Faculty, University of
Aix-Marseille I. The faculty is at 10 mns walking distance from the
center of Aix.
Accommodation
Different possibilities: student residence (about 75 F / 12 ECU a
night) or hotels (from 200 F / 32 ECU a night).
Dates
April 15 : Early registration deadline
Grant application deadline
April 30 : Student session submission deadline
August 11-22 : School
Fees
| Early registration | Late registration
- -----------|-----------------------|--------------------
Student | 1,100 F (170 ECU) | 1,400 F (220 ECU)
Scholar | 1,900 F (300 ECU) | 2,300 F (360 ECU)
Industrial | 3,800 F (600 ECU) | 4,600 F (720 ECU)
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)
Contact
Philippe Blache
ESSLLI'97
LPL - Universite de Provence
29, Avenue Robert Schuman
13621 Aix-en-Provence
FRANCE
fax: +33 04.42.59.50.96
e-mail : esslli97 at lpl.univ-aix.fr
http://www.lpl.univ-aix.fr/~esslli97
------------------------------------------------------------------------
LINGUIST List: Vol-7-1583.
More information about the LINGUIST
mailing list