The proceedings are now available on Springer's site.

The talks will take place in the lecture theater C of the LORIA: Monday, Tuesday, and Wednesday.

The conference dinner will take place at Grand Hôtel de la Reine, Tuesday 6 evening (20h). (See the map.)

Monday 5 December
Invited talk
09:45-10:45Louise McNallyCombining Formal and Distributional Semantics : An Argument from the Syntax and Semantics of Modification
10:45-11:15 Break
Contributed talks
11:15-11:45 Daisuke Bekki and Ai Kawazoe Implementing Variable Vectors in a CCG parser
11:45-12:15 Simon Petitjean, Denys Duchier, and Yannick Parmentier XMG2 : Describing Description Languages
12:15-12:45 Stergios Chatzikyriakidis and Zhaohui Luo Proof Assistants for Natural Language Semantics
12:45-14:15 Lunch
Contributed talks
14:15-14:45 Wojciech Buszkowski On Classical Nonassociative Lambek Calculus
14:45-15:15 Christian Wurm Automatic Concepts and Automata-theoretic Semantics for the Full Lambek Calculus
15:15-15:45 Laurent Méhats and Lutz Straßburger Non-Crossing Tree Realizations of Ordered Degree Sequences
15:45-16:15 Break
Contributed talks
16:15-16:45Nicholas Asher and Soumya PaulLanguage Games
16:45-17:15 William Babonnaud, Laura Kallmeyer, and Rainer Osswald Polysemy and Coercion. A Frame-Based Approach using LTAG and Hybrid Logic

Tuesday 6 December
Invited talk
09:45-10:45Maria AloniFC Disjunction in State-Based Semantics
10:45-11:15 Break
Contributed talks
11:15-11:45 Mathieu Vidal A Compositional Semantics for 'If Then' Conditionals
11:45-12:15 Gabriel Gaudreault Compositional Event Semantics in Pregroup Grammars
12:15-12:45 Kristina Liefke and Sam Sanders A Computable Solution to Partee's Temperature Puzzle
12:45-14:15 Lunch
Invited talk
14:15-15:15 Shalom Lappin Bayesian Inference in a Probabilistic Type Theory
Contributed talks
15:15-15:35 Jacob Collard Inferring Necessary Categories in CCG
15:35-15:55 Johanna Björklund and Loek Cleophas Minimization of Finite State Automata through Partition Aggregation
15:55-16:25 Break
Contributed talks
16:25-16:45 Aleksandra Kiślak-Malinowska Types and Meaning of Relative Pronouns in Tupled Pregroup Grammars
16:45-17:05 Dea Bankova, Bob Coecke, Martha Lewis, and Dan Marsden Graded Hyponymy for Compositional Distributional Semantics
17:05-17:25 Zhaohui Luo and Sergei Soloviev Dependent Event Types
17:25-17:45 Katherine Fraser Sitting and Waiting. An Idle Meaning of an English Posture Verb
20:00 Conference Dinner at Grand Hôtel de la Reine (see the map).

Wednesday 7 December
Contributed talks
09:45-10:15 Glyn Morrill and Oriol Valentín On the Logic of Expansion in Natural Language
10:15-10:45 Denis Béchet and Annie Foret Categorial Dependency Grammars with Iterated Sequences
10:45-11:15 Pepijn Kokke Strong and Weak Quantifiers in Focused NLCL
11:15-11:45 Break
Contributed talks
11:45-12:15 Dimitri Kartsaklis and Mehrnoosh Sadrzadeh A compositional Distributional Inclusion Hypothesis
12:15-12:45 Reinhard Muskens and Mehrnoosh Sadrzadeh Context Update for Lambdas and Vectors
12:45-14:15 Lunch
Invited talk
14:15-15:15 Invited talk: Johan Bos The Parallel Meaning Bank : A Large Corpus of Translated Textes Annotated with Formal Meaning Representations
15:15-15:45 Break
Contributed talks
15:45-16:15 Miloš Stanojević Minimalist Grammar Transition-Based Parsing
16:15-16:45 Hans Leiß and Shuqian Wu Type Reconstruction for Lambda-DRT Applied to Pronoun Resolution
16:45-17:15 Alda Mari Actuality Entailments : When the Modality Is in the Presupposition