Logic and Language

Foundational Courses

• Vagueness. Kees van Deemter

Introductory Courses

• Processing quantification. Bart Geurts
• Temporality and quantification. Ron Artstein
• Type logical grammar. Glyn Morrill
• An introduction to IF logic. Pietarinen Ahti-Veikko and Tero Tulenheimo
• Reasoning with natural language. Ian Pratt-Hartmann
• Computational semantics. Alexander Koller, Aljoscha Burchardt and Stephan Walter

Advanced Courses

• Recent developments in computational semantics. Markus Egg and Valia Kordoni
• Continuations. Chris Barker and Chung-chieh Shan
• Display logic meets categorial type logic. Raffaella Bernardi and Rajeev Goré
• Language dynamics and the dialogue challenge. Ruth Kempson and Ronnie Cann
• Multi-modal combinatory categorial grammar. Geert-Jan Kruijff

Workshop

• Semantic approaches to binding theory. Philippe Schlenker and Ed Keenan
• Syntax, semantics and pragmatics of questions. Ileana Comorovski and Manfred Krifka
• Implicature and conversational meaning. Bart Geurts and Rob van der Sandt

Logic and Computation

Foundational Courses

• Prolog programming: a do it yourself course for beginners Kristina Striegnitz
• Linear logic. Valeria De Paiva and Richard Crouch

Introductory Courses

• Answer set programming. Vladimir Lifschitz
• Proof automation for type-logical grammars. Pierre Castéran and Richard Moot
• Temporal logic for systems validation. Holger Schlingloff
• Description logics. Carsten Lutz and Ulrike Sattler
• Hybrid logics. Massimo Franceschet and Balde ten Cate
• Hybrid concurrent constraint programming and its applications I. Vijay Saraswat and Radha Jagadeesan

Advanced Courses

• The calculus of structures. Alessio Guglielmi
• Recent advances in deduction modulo. Gilles Dowek
• Nominal techniques for reasoning about formal languages. Christian Urban and Andrew Pitts
• The rewriting calculus. Claude Kirchner, Luigi Liquori and Horatiu Cirstea
• Advanced automated reasoning. Andrei Voronkov
• Hybrid concurrent constraint programming and its applications II. Vijay Saraswat and Radha Jagadeesan

Workshops

• Guarded fragments. Natasha Alechina
• LCMAS04 - Logic and communication in multi-agent systems. Alessio Lomuscio, Wiebe Van der Hoek, Michael Wooldridge and Erik de Vink

Language and Computation

Foundational Courses

• Basic parsing techniques for natural language. Bertrand Gaiffe and Guy Perrier
• Statistical methods for natural language processing. Helmut Schmid

Introductory Courses

• Computational approaches to phonology. Karin Mueller
• Symbolic learning of natural language. Dimitar Kazakov and James Cussens
• An introduction to spoken dialogue systems: fundamentals, standards and tools. Ramón López-Cózar Delgado
• An introduction to mildly context-sensitive grammar formalisms. Gerhard Jäger and Jens Michaelis
• Introduction to parsing algorithms for NLP. Giorgio Satta
• Introduction to machine translation. Cristina Vertan
• A comparative introduction to extensible dependency grammar. Denys Duchier and Ralph Debusmann
• Acquisition of lexical and terminological information from corpora. Ulrich Heid
• NLP for multimedia applications. Elisabeth André, Thierry Declerck and Yiannis Kompatsiaris

Advanced Courses

• Cognitive modeling and verbal semantics. Andrea Schalley
• Formal approaches to the interface of syntax and information structure. Kordula De Kuthy and Detmar Meurers
• Intelligent information extraction. Guenter Neumann and Feiyu Xu
• Modelling information structure for computational discourse processing. Ivana Kruijff-Korbayová
• Statistical learning for natural language processing. Eric Gaussier and Nicola Cancedda

Workshops

• Combining shallow and deep processing for NLP. Erhard Hinrichs and Kiril Simov