PROGRAMME

Alike the previous years, courses will be provided in six different sections : Language, Logic, Computation, Language & Logic, Language & Computation, and Logic & Computation. A timetable of the workshop is available.

Language

Introductory Courses

B. Dorr (Maryland) & P. Saint-Dizier (Toulouse):
Lexical Semantics of Predicative Forms (abstract)
M. Pickering & M. Crocker (Edinburgh):
Human Sentence Comprehension (abstract)

Advanced Courses

M. Moortgat (Utrecht) & D. Oehrle (Arizona):
Grammatical Resources: Logic & Structure (abstract)
C. Gardent (Saarlandes):
The Syntax and Semantics of Focus (abstract)
A. Abeille, D. Godard, & P. Miller (Paris):
The Major Syntactic Structures of French (abstract)

Symposium

N. Asher (Austin):
Applications of Pragmatic Theories of Discourse to Natural Language Interpretation (abstract)
Dunstan Brown(Surrey):
Formal elegance and natural complexity in morphology (abstract)

Logic

Introductory Courses

L. Moss (Indiana):
Circularity (abstract)
S.Feferman & G. Jaeger (Stanford):
Applicative Theories and Variable Types (abstract)

Advanced Courses

A. Sernadas & C. Sernadas (Lisbon):
Categorial Techniques for Combining Logics (abstract)
L.Hella (Helsinki):
Finite Model Theory (abstract)
L.Beklemishev (Moscow):
Provability and Reflection (abstract)

Workshop

M. Kracht (Berlin) & F. Wolter (Ishikawa):
Topics in Polymodal Logic (abstract)

Symposium

J. Makowsky (Haifa):
Translations, Reductions and Interpretations (abstract)

Computation

Introductory Courses

B. C. Pierce (Indiana):
Programming in the Pi-Calculus (abstract)
F. Fages (Paris):
Constraint Logic Programming (abstract)

Advanced Courses

A. Podelski (Saarbruecken):
Set Constraints, Their Use for Program Analysis and for Solving Constraint Problems over (Feature) Trees (abstract)
R. Backofen & P. Clote (Munich):
Computational Biology (abstract)
T. Fruehwirth (Munich):
Constraint Reasoning (abstract)

Workshops

Natasha Alechina:
Database theory (abstract)

Language & Logic

Introductory Courses

N. Asher (Texas) & T. Fernando (Stuttgart):
Logical Aspects of the Semantics-Pragmatics Interface (abstract)
J. Groenendijk & M.Stokhof (Amsterdam):
Update Semantics & Discourse Coherence(abstract)
R. Zuber (Paris):
Logics and Grammars as Deductive Systems (abstract)

Advanced Courses

M. A. Moshier (Chapman):
Category-Theoretic Foundations of Formal Linguistics(abstract)
E. Keenan & E. Stabler (UCLA):
Mathematical Linguistics and Abstract Grammar(abstract)
H. Arlo-Costa (Carnegie-Mellon) & K. Segerberg (Uppsala):
AGM in and out of Focus(abstract)

Workshops

S.Peters (Stanford) & J. van der Does (Amsterdam):
Quantifiers, Collectivity and Reciprocals(abstract)
A. Ranta (Helsinki):
The Informal Language of Mathematics(abstract)

Symposium

T. Jansen (Amsterdam) & P. Pagin (Stockholm):
Compositionality(abstract)

Language & Computation

Introductory Courses

P. Blackburn & J. Bos (Saarlandes):
Representation and Inference for Natural Languages: A First Course in Computational Semantics (abstract)
E. Hinrichs, D. Meurers (Tuebingen) & J. Nerbonne (Groningen):
Grammar Development in Constraint-Based Grammar Formalisms (abstract)
B. Krenn & C. Samuelsson (Saarlandes):
Statistical Methods in Computational Linguistics (abstract)

Advanced Courses

R. Gaizauskas & Y. Wilks (Sheffield):
Information Extraction (abstract)
M. Johnson (Brown) & M. Kay (Stanford):
Deductive Approaches to Constraint-Based Parsing and Generation (abstract)
A. Lecomte (Grenoble), G. Morrill (UPC Barcelona) & C. Retore (INRIA):
Geometry of Language (abstract)

Workshop

A. Zaenen (Grenoble): CANCELED
Application-Oriented Grammar Writing (abstract)
C. Paris & R. Dale (Sydney):
Natural Language Generation (abstract)

Logic & Computation

Introductory Courses

F. Baader (Aachen):
Terminological Reasoning (abstract)
G. Brewka (Vienna) & J. Dix (Koblenz):
Extended Logic Programming and Knowledge Representation (abstract)

Advanced Courses

J. Mullins (Nantes):
Recursion Theory and Concurrency Models (abstract)
A. Dawar & I. Stewart (Swansea and Leicester):
Logic and Computation with Finite Structures (abstract)
V. Marek & M. Truszczynski (Kentucky):
Nonmonotonic Reasoning : Computational Perspectives (abstract)
B. Rounds (Michigan):
Domain Theory and Applications (abstract)

Workshops

J. Vaananen (Helsinki):
Generalized Quantifiers and Computation (abstract)

Symposium

W. van der Hoek (Utrecht), Y. Lesperance (York U.) & R. Scherl (Newark):
Logical Approaches to Agent Modelling (abstract)

Evening Lectures

All the evening lectures will take place in the Amphi GUYON, at 8 p.m.

Solomon Feferman (Stanford University, USA) : Wednesday, August 13th.
Bill Rounds (University of Michigan, USA) : Friday, August 15th.
Annie Zaenen (Rank Xerox Research Centre, France) : Monday , August 18th.

Solomon Feferman : What is a logical operation? (according to Tarski, McGee and me).
Summary :
In his well-known 1936 paper on the notion of logical consequence, Tarski left unsettled (and perhaps unsettleable) the exact division between logical and non-logical notions of a formal language. But then in a lecture thirty years later (published only in 1986 as a posthumous paper), Tarski proposed an explication of what constitutes a logical notion applying to objects in a type hierarchy over any given domain M, as being one which is invariant under arbitrary permutations of M. This notion has been characterized by Vann McGee in a recent paper in the J. Philosophical Logic, in terms of very strong infinitary languages. Though Tarski's proposal is simple and has an immediate intuitive appeal, and has been influential in abstract model theory and logical linguistics, I am deeply dissatisfied with it, especially as a result of McGee's characterization. In my talk I will explain the reasons for my dissatisfaction, and suggest alternative approaches to the main question which remain to be explored.
This lecture is the first yearly SPINOZA lecture of ESSLLI. It has been made possible by the prize awarded to Johan van Benthem by the Dutch Research Council. More information about the SPINOZA project can be obtained from the 1997 yearbook of the assocation.
Bill Rounds : What's Still Wrong (if anything) with Non-monotonic Logic?
Summary :
In a much-quoted and discussed position paper, "What's Wrong with Non-monotonic Logic", circa 1980, David Israel gave a pungent critique of non-monotonic logic. In this talk, I will re-examine his arguments to see how well they apply to some of today's versions.