%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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.