[Corpora-List] ESSLLI 2006: List of Accepted Courses and Preliminary Program

Carlos Areces Carlos.Areces at loria.fr
Sun Dec 18 00:17:01 CET 2005


18th European Summer School in Logic, Language and Information
31 July - 11 August, 2006, Malaga, Spain



The European Summer School in Logic, Language and Information (ESSLLI)
is organized every year by the Association for Logic, Language and
Information (FoLLI, http://www.folli.org) in different sites around

The main focus of ESSLLI is on the interface between linguistics,
logic and computation. ESSLLI offers foundational, introductory and
advanced courses, as well as workshops, covering a wide variety of
topics within the three areas of interest: Language and Computation,
Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to
500 students from Europe and elsewhere. The school has developed into
an important meeting place and forum for discussion for students and
researchers interested in the interdisciplinary study of Logic,
Language and Information.


Language and Computation:

Week 1

* Resource-Scarce Language Engineering, by Edward Garrett (Workshop)
* Introduction to Corpus Resources, Annotation and Access, by Sabine Schulte
im Walde and Heike Zinsmeister (Foundational Course)
* Introduction to Symbolic and Statistical NLP in Scheme, by Damir
Cavar (Introductory Course)
* Data-Driven Methods for Acquiring Linguistic Information, by Timothy
Baldwin and Aline Villavicencio (Introductory Course)
* An Empirical View on Semantic Roles Within and Across Languages, by
Katrin Erk and Sebastian Pado (Introductory Course)
* Treebank-Based Acquisition of LFG, HPSG and CCG Resources, by Josef
van Genabith, Julia Hockenmaier and Yusuke Miyao (Advanced
* Semantic Domains in Natural Language Processing, by Alfio
Gliozzo and Carlo Strapparava (Advanced Course)

Week 2

* Modelling Coherence for Generation and Dialogue Systems, by Rodger
Kibble, Paul Piwek and Ielka van der Sluis (Workshop)
* Computational Morphology, by Kemal Oflazer (Foundational Course)
* Counting Words: An Introduction to Lexical Statistics, by Marco
Baroni and Stefan Evert (Introductory Course)
* Computational Semantics: Linking Language Processing to Applications,
by Ann Copestake and Dan Flickinger (Introductory Course)
* Word Sense Disambiguation, by Rada Mihalcea (Introductory Course)
* Implementing Argument Alternations, by Miriam Butt and Tracy Holloway
King (Advanced Course)
* Argument Structure, by Markus Egg and Valia Kordoni (Advanced
* Probabilistic Methods in Computational Psycholinguistics, by Roger
Levy (Advanced Course)
* Machine Learning and Dialogue, by James Henderson and Oliver Lemon
(Advanced Course)

Logic and Computation:

Week 1

* Proof Theory and Deep Inference, by Alessio Guglielmi (Foundational
* Introduction to Automated Reasoning, by Hans De Nivelle and
Peter Baumgartner (Foundational Course)
* Specifying and Proving in Maude, by Manuel Clavel and Narciso
Marti-Oliet (Introductory Course)
* Modal Logics for Multi-Agent Systems, by Valentin Goranko and
Wojciech Jamroga (Introductory Course)
* Expressiveness of Temporal Logics, by Franšois Laroussinie and
Nicolas Markey (Introductory Course)
* The Modal Mu-Calculus, by Yde Venema (Introductory Course)
* Logics for Quantum Information Flow, by Alexandru Baltag and Sonja
Smets (Advanced Course)
* Approximate Reasoning for the Semantic Web, by Pascal Hitzler, Frank
van Harmelen and Holger Wache (Advanced Course)
* Coalgebras, Modal Logic, Stone Duality, by Alexander Kurz (Advanced

Week 2

* Workshop on Logics for Resource Bounded Agents, by Natasha Alechina
and Thomas ┼gotnes (Workshp)
* Rationality and Knowledge, by Sergei Artemov and Rohit Parikh
* Verification of Infinite State Systems, by Angelo Montanari and
Gabriele Puppis (Introductory Course)
* Proof Nets and the Identity of Proofs, by Lutz Strassburger
(Introductory Course)
* Semantics of Higher-Order Logic, by Chad Brown and Chris
Benzmueller (Advanced Course)
* Logical and Meta-Logical Frameworks, by Carsten Schuermann (Advanced
* Logic and Computation in Finitely Presentable Infinite Structures, by
Valentin Goranko and Sasha Rubin (Advanced Course)

Language and Logic:

Week 1

* Formal Ontologies for Communicating Agents, by Roberta Ferrario
and Nicola Guarino (Workshop)
* On Logic and Language, by Raffaella Bernardi and Patrick Blackburn
(Foundational Course)
* Natural Language Quantifiers, by Nouwen, Rick (Introductory Course)
* Working with Discourse Representation Theory, by Patrick Blackburn
and Johan Bos (Introductory Course)
* Mereology for Linguists, by Christopher Pi˝ˇn (Introductory Course)
* From Syntactic Structures to Logical Semantics, by Christian RetorÚ and
Alexandre Dikovsky (Advanced Course)
* Temporal Anaphora in Tenseless Languages, by Maria Bittner (Advanced
* Linear Logic, Linguistic Resource Sensitivity and Resumption, by
Ash Asudeh (Advanced Course)

Week 2

* Ambiguity in Anaphora, by Ron Artstein and Massimo Poesio
* Concord Phenomena and the Syntax Semantics Interface, by Paul Dekker
and Hedde Zeijlstra (Workshop)
* Parsing, by Eric de la Clergerie (Foundational Course)
* Proofs, Evidence, Knowledge, by Sergei Artemov (Introductory Course)
* Signalling Games and Pragmatics, by Anton Benz (Introductory Course)
* Higher Order Grammar, by Carl Pollard (Introductory Course)
* Anaphora resolution: Theory and Practice, by Annie Zaenen (Advanced
* Applications and Extensions of Dynamic Semantics, by Nicholas Asher
(Advanced Course)


Carlos Areces
INRIA Lorraine. 615, rue du Jardin Botanique
54602 Villers les Nancy Cedex, France
phone : +33 (0)3 83 58 17 90
fax : +33 (0)3 83 41 30 79
e-mail : carlos.areces (at) loria.fr
www : http://www.loria.fr/~areces

Local co-chair:
Manuel Diaz

Area Specialists:
Larry Moss and Gerhard Jaeger (Logic and Language)
Valeria de Paiva and Juan Jose Moreno Navarro (Logic and Computation)
Philip Miller and Anette Frank (Language and Computation)

Ernesto Pimentel (chair)

FURTHER INFORMATION: To obtain further information, visit the ESSLLI
site at http://esslli2006.lcc.uma.es/. For this year's summer school,
please see the web site at http://www.macs.hw.ac.uk/esslli05.

More information about the Corpora-archive mailing list