LINGUIST List 7.1583

Thu Nov 7 1996

FYI: European Summer School in Logic, Lang, and Information

Editor for this issue: Ann Dizdar <dizdartam2000.tamu.edu>

Directory

1. Ecole d'ete, ESSLLI'97, European Summer School in Logic, Lang, and Information

- -----------------------------------------------------------------------------
----------------------------------
------------------------------------------------------
--------------------------------------------------
--------------------------------------------
-------------------------------------------------------
-------------------------------------------------------
-----------------------------------
- -----------------------------------------------------------------------------
_______________________________________________________________________________


 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 : esslli97lpl.univ-aix.fr
	http://www.lpl.univ-aix.fr/~esslli97