%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
18th European Summer School in Logic, Language and Information
ESSLLI 2006
31 July - 11 August, 2006, Malaga, Spain
http://esslli2006.lcc.uma.es
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
LIST OF ACCEPTED COURSES AND PRELIMINARY PROGRAMM
-------------------------------------------------
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
Europe.
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.
LIST OF ACCEPTED COURSES AND PRELIMINARY PROGRAM:
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
Course)
* 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
Course)
* 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
Course)
* 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
Course)
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
(Workshop)
* 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
Course)
* 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
Course)
* Linear Logic, Linguistic Resource Sensitivity and Resumption, by
Ash Asudeh (Advanced Course)
Week 2
* Ambiguity in Anaphora, by Ron Artstein and Massimo Poesio
(Workshop)
* 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
Course)
* Applications and Extensions of Dynamic Semantics, by Nicholas Asher
(Advanced Course)
PROGRAM COMMITTEE:
Chair:
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)
ORGANIZING COMMITTEE:
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.
This archive was generated by hypermail 2b29 : Sun Dec 18 2005 - 00:15:50 MET