LINGUIST List 27.4485
Thu Nov 03 2016
Confs: Cog Sci, Comp Ling, Pragmatics, Semantics, Syntax/France
Editor for this issue: Kenneth Steimel <kenlinguistlist.org>
Date: 03-Nov-2016
From: Sylvain Pogodalla <sylvain.pogodalla
inria.fr>
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:
http://lacl.gforge.inria.fr/
Linguistic Field(s): Cognitive Science; Computational Linguistics; Pragmatics; Semantics; Syntax
Meeting Description:
Presentation:
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.
Scope:
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)
Registration:
http://lacl.gforge.inria.fr/lacl-2016/index-registration.html 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), christian.retore
lirmm.fr, PC chair
Maxime Amblard (Université de Lorraine,), maxime.amblard
loria.fr, main organizer
Philippe de Groote (LORIA/INRIA, Nancy Grand Est), philippe.degroote
inria.fr, publicity chair
Sylvain Pogodalla (LORIA/INRIA, Nancy Grand Est), sylvain.pogodalla
loria.fr, local chair
Programː
http://lacl.gforge.inria.fr/lacl-2016/index-program.html 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