Courses' slots:

Week one 9:00 - 10:30

Language and Logic foundational course:
The Logic of Sense and Reference.

Teacher
top

Logic and Computation foundational course:
Ontology Modelling Languages.

Teachers
top

Logic and Computation introductory course:
Non-deterministic Multi-valued Logics.

Teachers
  • Arnon Avron ()
  • Beata Konikowska ()
top

Language and Computation introductory course:
The mental lexicon, blueprint of the dictionaries of tomorrow: linguistic, computational and psychological aspects of a highly valuable resource

Teacher
  • Michael Zock ()
top

Language and Computation advanced course:
An introduction to minimalist grammars.

Teachers
  • Gregory Kobele ()
  • Jens Michaelis ()
top

Language and Logic introductory course:
Introduction to Abstract Categorial Grammars: Foundations and main properties.

Teachers
  • Philippe de Groote ()
  • Sylvain Salvati ()
top

Week one 11:00 - 12:30

Language and Computation foundational course:
The Foundations of Statistics: A Simulation-Based Approach.

Teacher
  • Shravan Vasishth ()
top

Logic and Computation introductory course:
Temporal logics for specification and verification.

Teacher
top

Logic and Computation introductory course:
Logics of individual and collective intentionality.

Teachers
top

Language and Logic introductory course:
Quotation and the semantics of speech reports.

Teacher
  • Emar Maier ()
top

Language and Logic advanced course:
How to do things with words: Speech Acts in Linguistics, Philosophy and Computation.

Teachers
  • Regine Eckardt ()
  • Magdalena Schwager ()
top

Language and Computation introductory course:
Grammaticality Judgements as Linguistic Evidence.

Teacher
  • Brian Murphy ()
top

Week one 14:00 - 15:30

Language and Logic advanced course:
Plurality and distributivity across language(s) and logic(s).

Teachers
  • Eytan Zweig ()
  • George Tsoulas ()
top

Logic and Computation advanced course:
Game semantics and its applications.

Teacher
  • Andrzej Murawski ()
top

Logic and Computation workshop:
Logical Methods for Social Concepts.

Organizers
top

Language and Logic introductory course:
Focus, Focus Interpretation, and Focus Sensitivity.

Teachers
  • Malte Zimmermann ()
  • Daniel Hole ()
top

Logic and Computation advanced course:
Reasoning in complex theories and applications.

Teacher
top

Language and Computation workshop:
Parsing with Categorial Grammars

Organizer
  • Gerald Penn ()
top

Week one 17:00 - 18:30

Language and Logic advanced course:
Theoretical and Empirical Perspectives on Discourse.

Teacher
top

Logic and Computation workshop:
Structures and Deduction 2009.

Organizers
  • Michel Parigot ()
  • Lutz Strassburger ()
top

Language and Logic introductory course:
Logicality and Invariance.

Teacher
  • Denis Bonnay ()
top

Logic and Computation introductory course:
Games, Action and Social Software.

Teachers
top

Language and Computation advanced course:
Computational Psycholinguistics.

Teacher
  • Roger Levy ()
top

Language and Logic workshop:
Vagueness in Communication.

Organizers
top

Week two 9:00 - 10:30

Language and Logic introductory course:
Topics in the Semantics of Interrogative Clauses.

Teachers
  • Benjamin Spector ()
  • Márta Abrusán ()
top

Language and Computation advanced course:
Psycho-computational issues in Morphology Learning and Processing.

Teacher
  • Vito Pirrelli ()
top

Language and Logic foundational course:
Meaning Composition: Empricial Problems and Formal Solutions.

Teacher
  • Louise McNally ()
top

Language and Computation introductory course:
Standard XML query languages for natural language processing.

Teacher
  • Ulrich Schäfer ()
top

Logic and Computation advanced course:
Ontologies: Structuring, Modularity, and Heterogeneity.

Teachers
  • Stefano Borgo ()
  • Oliver Kutz ()
top

Logic and Computation foundational course:
Logics of Rational Agency.

Teacher
  • Eric Pacuit ()
top

Week two 11:00 - 12:30

Logic and Computation advanced course:
Logics with Counting.

Teacher
top

Language and Logic introductory course:
Event Semantics and Adverbial Modification.

Teachers
  • Berit Gehrke ()
  • Boban Arsenijevic ()
top

Language and Logic advanced course:
Proof-Theoretic Semantics.

Teacher
top

Language and Computation foundational course:
Case, Scrambling and Default Word Order.

Teachers
  • Miriam Butt ()
  • Heike Zinsmeister ()
top

Language and Computation introductory course:
Computational Lexical Semantics.

Teachers
  • Gemma Boleda ()
  • Stefan Evert ()
top

Logic and Computation advanced course:
Reasoning with Probabilities.

Teachers
  • Eric Pacuit ()
  • Joshua Sack ()
top

Week two 14:00 - 15:30

Language and Logic advanced course:
Advances in Abstract Categorial Grammars: Language theory and linguistic modeling.

Teachers
top

Language and Logic workshop:
New Directions in the Theory of Presupposition.

Organizers
top

Language and Computation introductory course:
Intelligent Computer-Assisted Language Learning: An introduction to an emerging interdisciplinary field.

Teacher
top

Language and Computation advanced course:
Linguistic Information Visualization.

Teachers
  • Gerald Penn ()
  • Sheelagh Carpendale ()
top

Logic and Computation advanced course:
Dynamic Logics for Interactive Belief Revision.

Teachers
  • Alexandru Baltag ()
  • Sonja Smets ()
top

Language and Logic introductory course:
Syntax and Semantics from an Algebraic Perspective.

Teachers
  • Edward Stabler ()
  • Edward Keenan ()
top

Week two 17:00 - 18:30

Logic and Computation introductory course:
Explanation in Ontology Languages.

Teachers
  • Bijan Parsia ()
  • Thomas Schneider ()
top

Language and Logic advanced course:
Referent Systems.

Teachers
  • Udo Klein ()
  • Marcus Kracht ()
top

Language and Computation introductory course:
Corpus-Based Argument Structure.

Teacher
top

Language and Computation advanced course:
Distributional Semantic Models - Theory and Empirical Results.

Teachers
  • Stefan Evert ()
  • Alessandro Lenci ()
top

Language and Logic workshop:
Formal approaches to sign languages.

Organizers
  • Carlo Cecchetto ()
  • Carlo Geraci ()
top

Logic and Computation introductory course:
Logics and Agent Programming Languages

Teachers
  • Natasha Alechina ()
  • Brian Logan ()
top