Program: List of Courses and Workshops
PROGRAM FOR ESSLLI 2010
For course and workshop proposals, either consult the program or the menu on the right.
LANGUAGE AND COMPUTATION
COURSES
3 Ani Nenkova: Computational models of text quality
9 Jong Sup Jun: Log-Linear Regression in Corpus Linguistics
16 Patrick Juola: Authorship Attribution and Stylometry.
20 Bart Mellebeek and Jordi Atserias: Painless NLP Programming with UIMA
43 Michael Carl and Philipp Koehn: Interactive Machine Translation and Human Translation Processes
51 Roberto Navigli and Simone Paolo Ponzetto: Word Sense Disambiguation and Induction
54 Anna Feldman and Jirka Hana: Resource-light Morpho-syntactic Analysis of Highly Inflected Languages
62 Diana Santos and Maria José Bocorny Finatto: Words and their secrets
63 Afra Alishahi and Afsaneh Fazly: Computational Modeling of Human Language Acquisition
71 Remi van Trijp: Evolutionary Linguistics
85 Alexander Clark: Learnable representations of languages
93 Adam Lopez: Statistical Machine Translation
97 Matthias Buch-Kromann: Dependency grammar for computational linguists
103 Antal van den Bosch: Memory-based Language Modeling
108 Patrizia Paggio and Costanza Navarretta: Empirically-based multimodal studies
WORKSHOPS
78. Carl Vogel: Computational Stylistics: Beyond concordances and grammar checkers
LOGIC AND COMPUTATION
COURSES
1 Mohammadreza Mousavi and Michel Reniers: Structured Operational Semantics
6 Hubie Chen: The Complexity of Constraint Satisfaction
15 Wojciech Jamroga and Wojciech Penczek: Specification and Verification of Multi-Agent Systems
17 Stephane Demri: Decidable problems for counter machines
19 Stefan Milius and Jiri Adamek: Introduction to Category Theory, Algebras and Coalgebras
23 Olivier Gasquet and Andreas Herzig: Kripke’s World: an introduction to modal logics via tableau systems
29 Dietrich Kuske: Automatic structures
35 Ugo Dal Lago and Simone Martini: Implicit Computational Complexity
49 Hans van Ditmarsch: Dynamic Epistemic Logic
68 Olaf Beyersdorff and Oliver Kutz: Proof Complexity of Non-Classical Logics
79 Lutz Strassburger: Introduction to Proof Theory
84 Angelo Montanari and Nicola Vitacolonna: Ehrenfeucht-Fraïssé Games: Applications and Complexity
96 Marta Kwiatkowska and David Parker: Probabilistic Model Checking
99 Jan Broersen and Leon van der Torre: Ten problems of deontic logic and normative reasoning in computer science
107 Diego Calvanese and Michael Zakharyaschev: Answering Queries in Description Logics: Theory and Applications to Data Management
WORKSHOPS
81 Jouko Vaananen and Juha Kontinen: Dependence and independence in logic
LOGIC AND LANGUAGE
COURSES
4 Reinhard Muskens: Using Logic in Syntax and Semantics
8 Fritz Hamm and Yiannis Moschovakis: Sense and denotation as algorithm and value
22 Larry Moss: Logics for natural language inference
24 Mats Rooth: Focus
25 Chris Barker: Dynamic Semantics
30 Kevin Paterson: Processing of Quantifiers
31 Pauline Jacobson: Anaphora, Binding and Ellipsis
36 Joost Zwarts: Conceptual spaces and semantics maps
58 Dag Westerstahl and Peter Pagin: Compositionality
72 Nicola Guarino and Claudio Masolo: Objects, events, qualities: an introduction to formal ontological distinctions in DOLCE
80 Danny Fox and Benjamin Spector: Scalar Implicatures and Grammar
87 Anton Benz: Game Theoretic Pragmatics
105 Olga Borik and Maarten Janssen: Formal Approaches to Thematic/Semantic Roles
109 Hans Kamp: Psychological Reality of Semantic Theories
WORKSHOPS
115 Laure Vieu and Emiliano Lorini: Theories of information dynamics and interaction and their application to dialogue
116 Alessandro Lenci and Roberto Zamparelli: Compositionality and distributional semantic models
OTHERS
COURSES
83 Eric Pacuit and Olivier Roy: Logic, Interaction and Collective Agency
104 Noah Goodman and Josh Tenenbaum: Computational Cognitive Science: Probability, Programs, and the Mind
WORKSHOPS
74 Leon van der Torre and Dov Gabbay: Logics in Security
119 Johan van Benthem and Eric Pacuit: Workshop on Logic, Rationality, and Intelligent Interaction
Schedule
The program schedule for the courses and workshops can be found here.
Official Reception
Friday, August 13, 2010 at the University of Copenhagen main building.
ESSLLI 2010 Farewell Party
Friday, August 20, 2010 at DGI-byen.
