LINGUIST List 27.4485

Thu Nov 03 2016

Confs: Cog Sci, Comp Ling, Pragmatics, Semantics, Syntax/France

Editor for this issue: Kenneth Steimel <>

Date: 03-Nov-2016
From: Sylvain Pogodalla <>
Subject: Logical Aspects of Computational Linguistics
E-mail this message to a friend

Logical Aspects of Computational Linguistics
Short Title: LACL 2016

Date: 05-Dec-2016 - 07-Dec-2016
Location: Nancy, France
Contact: Christian Retoré
Contact Email: < click here to access email >
Meeting URL:

Linguistic Field(s): Cognitive Science; Computational Linguistics; Pragmatics; Semantics; Syntax

Meeting Description:


LACL'2016 is the 20th anniversary of the international conference on Logical Aspects of Computational Linguistics that was launched in Nancy in 1996. The scope of this conference is the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax, semantics and pragmatics as well as the implementation of natural language processing software relying on logical formalisation. As 20 years ago LACL will also take place at Loria in Nancy.


Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition.

Topics of either theoretical or applied interest include, but are not limited to:

- Logical foundation of syntactic formalisms, in particular categorial grammars and other type theoretic grammars, parsing as deduction, model theoretic syntax
- Logical frameworks for lexical semantics
- Logical semantics of sentences, discourse and dialogue
- Applications of these logical frameworks to natural language processing tasks (automated analysis, generation, acquisition, textual inference);
- Applications of the logical formalisation of language faculty to cognitive sciences.

Invited Speakers:

Maria ALONI (ILLC, Universiteit van Amsterdam)
Johan BOS (Rijksuniversiteit Groningen)
Shalom LAPPIN (Göteborgs universitet)
Louise McNALLY (Universitat Pompeu Fabra, Barcelona)


Early Registration (before 15 November):

Student: 180 €

Regular: 220 €

Late Registration (after November 16th):

Student: 230 €
Regular: 270 €

Programme Committee and Contacts:

Christian Retoré (Université de Montpellier, LIRMM-CNRS),, PC chair
Maxime Amblard (Université de Lorraine,),, main organizer
Philippe de Groote (LORIA/INRIA, Nancy Grand Est),, publicity chair
Sylvain Pogodalla (LORIA/INRIA, Nancy Grand Est),, local chair


Monday 5 Decemberː

09:30 - 09:45ː
Welcome from the program chairs

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

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

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

16:15 - 16:45ː
Miloš Stanojević
Minimalist Grammar Transition-Based Parsing

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ː

09:45 - 10:45ː
Maria Aloni
FC Disjunction in State-Based Semantics

10:45 - 11:15ː Break

11:15 - 11:45ː
Mathieu Vidal:
A Compositional Semantics for 'If Then' Conditionals

11:45 - 12:15ː
Gabriel Goudreault
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

14:15 - 15:15ː
Shalom Lappin
Bayesian Inference in a Probabilistic Type Theory

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

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

Wednesday 7 Decemberː

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

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

14:15 - 15:15: Johan Bos
The Parallel Meaning Bank: A Large Corpus of Translated Textes Annotated with Formal Meaning Representations

15:15 - 15:45: Break

15:45 - 16:15:
Nicholas Asher and Soumya Paul
Language Games

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

Page Updated: 03-Nov-2016