LACL 2012

Logical Aspects of Computational Linguistics

Call for papers

LACL'2012 is the 7th edition of a series of international conferences

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 the

LINA, Nantes, France.

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
    • categorial grammars
    • minimalist grammars
    • dependency grammars
    • tree adjoining grammars
    • model theoretic syntax
    • formal language theory for natural language processing
    • data-driven approaches
  • logics for semantics of lexical items, sentences, discourse and dialog
    • discourse theories
    • Montague semantics
    • compositionality
    • dynamic logics
    • game semantics
    • situation semantics
    • generative lexicon
    • categorical semantics
  • applications of these models to natural language processing
    • software for natural language analysis
    • software for acquiring linguistic resources
    • software for natural language generation
    • software for information extraction
    • inference tasks
    • evaluation
    • scalability

Important dates :

Paper submission deadline: Extended to February 12, 2012

Notification of acceptance: March, 25 2012

Camera ready copies due: April 8, 2012

Conference dates: July 2-4, 2012

Submissions :

Articles should be written in the LaTeX format of LNCS by

Springer (see authors instructions at

and should not exceed 16 pages (including figures, bibliography, possible

appendices). It is expected that each accepted paper be presented at

the meeting by one of its authors.

Papers must be submitted electronically in PDF format at

Proceedings :

Accepted papers will be published in advance of the meeting as a

volume of the FoLLI subline of Lecture Notes in Computer Science

(LNCS) by Springer (

Contacts :

Online user: 1