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 | ||
09:00-09:30 | Registration | |
09:30-09:45 | Welcome | |
Invited talk | ||
09:45-10:45 | Louise McNally | Combining 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:45 | Nicholas Asher and Soumya Paul | Language 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:45 | Maria Aloni | FC 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 |