* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *

LINGUIST List 25.2264

Thu May 22 2014

Confs: Computational Linguistics/France

Editor for this issue: Xiyan Wang <xiyanlinguistlist.org>

Date: 22-May-2014
From: Sylvain Pogodalla <sylvain.pogodallainria.fr>
Subject: Logical Aspects of Computational Linguistics
E-mail this message to a friend

Logical Aspects of Computational Linguistics
Short Title: LACL

Date: 18-Jun-2014 - 20-Jun-2014
Location: Toulouse, France
Contact: Sergei Soloviev
Contact Email: < click here to access email >
Meeting URL: http://www.irit.fr/LACL2014/

Linguistic Field(s): Computational Linguistics

Meeting Description:

Co-located with the CSLP 2014,
8th International Workshop on Constraint Solving and Language Processing

LACL'2014 is the 8th international conference on logical and formal methods in computational linguistics. This conference addresses the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at IRIT, Toulouse, France, from 18-20 June 2014.

Invited Speakers:

Prof. Zhaohui Luo, Computer Science Department, Royal Holloway, University of London, U.K.

Prof. Michael Moortgat, Department of Language, Literature and Communication, Utrecht University, the Netherlands

Prof. Reinhard Muskens, Department of Philosophy, Tilburg University, the Netherlands

The early registration for LACL 2014 (8th International Conference on Logical Aspects of Computational Linguistics, June 18-20, Toulouse, France) is now open until June 4, 23:59 JST.

The conference page is at:


Please register now (that is, if you plan to attend) at:


In the program:

- Invited talks by Zhaohui Luo, Michael Moortgat, and Reinhard Muskens:
- 13 regular talks.
- Some 'round table' presentations and discussions
- Proceedings to be published as LNCS 8535

Preliminary program:

Wednesday, June 18

9.00 – 10.00

10.00 – 11.00
Continuations and derivational ambiguity (Invited talk)
Michael Moortgat

11.00 - 11.20 Coffee Break

11.20 – 12.00
An ACG View on G-TAG and Its g-Derivation
Laurence Danlos, Aleksandre Maskharashvili, and Sylvain Pogodalla

12.00 – 14.00
Lunch (at IRIT Cafeteria)

14.00 – 14.40
Late Merge as Lowering Movement in Minimalist Grammars
Thomas Graf

14.40 – 15.20
Pseudogapping as Pseudo-VP Ellipsis
Yusuke Kubota and Robert Levine

15.20 - 15.40 Coffee break

15.40 – 16.20
The Granularity of Meaning in Proof-Theoretic Semantics
Nissim Francez

16.20 – 17.00
Generalising Predicate and Argument Invariance
Richard Zuber

Thursday, June 19

09.30 – 10:10
Representing Anaphora with Dependent Types
Daisuke Bekki

10.10 — 10.30

10.30 – 11.10
An Algebraic Approach to Multiple Context-Free Grammars
Alexander Clark and Ryo Yoshinaka

11.10 – 11.50
An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents
Wojciech Buszkowski

11.50 - 13.30 Lunch

13.30 – 14.30
Semantics: A Proposal (Invited Talk)
Reinhard Muskens Combining Frame Semantics and Phrasal

Semantically Inactive Multiplicatives and Words as Types
Glyn Morrill and Oriol Valent´ın

15.10 - 15.30 Coffee break

15.30 – 17.30
Discussion on LACL topic and its evolution

18:00 Cocktail at IRIT

20.00 Gala Dinner

Friday, June 20

10:00 – 11:00
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? (Invited talk)
Zhaohui Luo

11.00 - 11.20 Coffee Break

11.20 – 12.00
Adverbs in a Modern Type Theory
Stergios Chatzikyriakidis

12.00 – 12.40
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories
Georgiana E. Lungu and Zhaohui Luo

12.40 - 14.20 Lunch (at IRIT Cafeteria)

14.20 – 15.00
On Harmonic CCG and Pregroup Grammars
Annie Foret

14.00 – 15.40
Building PMCFG Parsers as Datalog Program Transformations
Arthur Ball, Pierre Bourreau, Emeric Kien, and Sylvain Salvati

15.40 - 16.00 Coffee and closing

Toulouse in the South West of France is the fourth largest city of France and a lively university center. Toulouse offers numerous inexpensive accommodations, including student residences. The participants are on their own in finding accommodation. There is the hotel list of the tourist office and a special list for residences. Of course, there are other ways to find hotels in Toulouse. For scientists on short visits to Toulouse (e.g., for juries or project meetings), we typically choose friendly two-star hotels. LACL 2014 is taking place at IRIT, Paul Sabatier University, close to the 'Université Paul Sabatier' station (metro line B). Hotels in the city center are close to the metro (line B stations there: Compans-Caffarelli, Jeanne d'Arc, Jean Jaures, Francois Verdier and Carmes).

Fees (early registration):

330 euros (regular), 230 euros (student)

Late registration:

380 euros (regular), 280 euros (student)

Gala dinner: 60 euros.

LACL 2014 Program Co-Chairs:

Nicholas Asher
Sergei Soloviev

Read more issues|LINGUIST home page|Top of issue

Page Updated: 22-May-2014

Supported in part by the National Science Foundation       About LINGUIST    |   Contact Us       ILIT Logo
While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed on its pages, it cannot vouch for their contents.