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

Thu Nov 3 19:44:34 UTC 2016

LINGUIST List: Vol-27-4485. Thu Nov 03 2016. ISSN: 1069 - 4875.

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

Moderators: linguist at linguistlist.org (Damir Cavar, Malgorzata E. Cavar)
Reviews: reviews at linguistlist.org (Helen Aristar-Dry, Robert Coté,
                                   Michael Czerniakowski)
Homepage: http://linguistlist.org

*****************    LINGUIST List Support    *****************
                       Fund Drive 2016
                   25 years of LINGUIST List!
Please support the LL editors and operation with a donation at:
           http://funddrive.linguistlist.org/donate/

Editor for this issue: Kenneth Steimel <ken at linguistlist.org>
================================================================

Date: Thu, 03 Nov 2016 15:44:22
From: Sylvain Pogodalla [sylvain.pogodalla at inria.fr]
Subject: Logical Aspects of Computational Linguistics

Logical Aspects of Computational Linguistics 
Short Title: LACL 2016 

Date: 05-Dec-2016 - 07-Dec-2016 
Location: Nancy, France 
Contact: Christian Retoré 
Contact Email: christian.retore at lirmm.fr 
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 at lirmm.fr, PC chair
Maxime Amblard (Université de Lorraine,), maxime.amblard at loria.fr, main
organizer
Philippe de Groote (LORIA/INRIA, Nancy Grand Est), philippe.degroote at inria.fr,
publicity chair
Sylvain Pogodalla (LORIA/INRIA, Nancy Grand Est), sylvain.pogodalla at 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

------------------------------------------------------------------------------

*****************    LINGUIST List Support    *****************
                       Fund Drive 2016
Please support the LL editors and operation with a donation at:
            http://funddrive.linguistlist.org/donate/

        Thank you very much for your support of LINGUIST!

----------------------------------------------------------
LINGUIST List: Vol-27-4485	
----------------------------------------------------------