Courses and Workshops

Courses and workshops consist of five sessions (a one-week course) or ten sessions (a two-week course). Each session lasts approximately 90 minutes.

Students that need a written confirmation of successful participation in a course should get into contact themselves with the relevant course teachers to ask if such a confirmation can be provided. Expect this only to be possible in case of a few exceptions.

You could have a look at the list of lecturers of ESSLLI 2005.

Logic and Language

Foundational Courses

• Natural Language Semantics. Muskens
• Semantics and cognition: human reasoning in cognitive science. Stenning

Introductory Courses

• Abstract Categorial Grammars. de Groote and Pogodalla
• Computational Aspects of Metaphor Processing. Veale
• Experimental evidence for semantic theories. Rado
• Formal Ontology for Semanticists. Guarino and Vieu and Borgo
• Genericity in natural language. Katz and Zamparelli
• Introduction to Metrical Theory. Alber
• Probabilistic Approaches to Semantics. Cohen

Advanced Courses

• Context shift in sign language. Zucchi
• Evolution of Language. Eckardt
• Logics of Conversation. Lascarides and Asher
• Natural language semantic representations as types. Fernando
• Representation and Computation of Temporal Relations in NL. Hamm and Kamp
• Type Selection and the Semantics of Local Context. Pustejovsky

Workshop

• Discourse Domains and Information Structure. Umbach and von Heusinger
• Empirical Challenges and Analytical Alternatives to Strict Compositionality. Richter and Sailer
• Formal Semantics and Cross-Linguistic Data. Zwarts and de Hoop
• Foundations of Natural-Language Grammar. Kempson and Morrill

Logic and Computation

Foundational Courses

• Programming with Logic and Constraints. Bartak

Introductory Courses

• Integrating logic programs and connectionist systems. Hitzler and Hoelldobler and Bader
• Intuitionistic Logic. Bezhanishvili and de Jongh
• Logic-based information integration. Rosati and De Giacomo
• Practical Reasoning for the Semantic Web. Schlobach and Stuckenschmidt
• Proof, Cut Elimination and Normalisation. Restall
• Term Rewriting Systems. Baader

Advanced Courses

• Abduction and Deduction in Logic Programming for Access Control for Web Services. Koshutanski
• Computational Analysis of Proofs. Baaz and Leitsch
• Dynamic epistemic logic. van Ditmarsch and Kooi
• Quantitative Logics for Time, Space, and Similarity. Wolter and Lutz and Zakharyaschev
• The Logics of Consistent Query Answers in Databases. Bertossi

Workshop

• Belief revision and dynamic logic. Herzig and van Ditmarsch

Language and Computation

Foundational Courses

• Annotation of language resources: XML, TEI, OWL. Erjavec
• Statistical data analysis using R, a system for statistical computation and graphics. Vasishth

Introductory Courses

• Automatic Text Summarization: Past, Present, and Future. Saggion
• CCG and Linguistic Diversity. Bozsahin and McConville
• Computational Lexicography. Kunze and Lemnitzer
• Finite-State Methods in NLP. Skut and Piskorski
• Focus and Prosodic Prominence. Calhoun and Jaeger
• Introduction to Statistical Machine Translation. Callison-Burch and Koehn
• Transducers. Shieber

Advanced Courses

• Computational pragmatics for face-to-face dialogue. Stone and Traum and Cassell
• Evolutionary Games and Language. Jaeger and van Rooij
• Grammars, Automata and Parsing. Johnson
• Linguistic Treebanks and Data-Intensive Parsing. Kübler and Hinrichs
• NLP for Multimedia Applications. Declerck and André
• Retrieving Content and Structure. de Rijke and Kamps and Marx

Workshop

• Cross-modular approaches to ellipsis. Spenader and Hendriks