Call for papers

The text-only version of the call for paper can be downloaded here.

Presentation

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 to 20 June 2014 (with support from IRIT, Université Paul Sabatier et INP de Toulouse).

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

Submissions

Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions) and may consist of up to 12 pages of content (including figures, bibliography, possible appendices). In exceptional cases by prior agreement with program committee a paper up to 16 pages may be considered. It is expected that each accepted paper be presented at the meeting by one of its authors.

Submission is exclusively admitted electronically, in PDF format, through the EasyChair system. The submission site is https://www.easychair.org/conferences/?conf=lacl2014.

Proceedings

Accepted papers together with some of the invited talks will be published as a volume of the FoLLI subline of Lecture Notes in Computer Science (LNCS) by Springer.

Previous editions

A selection of the 1995 articles appeared in a special issue of the Journal of Logic, Language and Information (7:4, 1998). The proceedings of the international conferences LACL'96 ,LACL'97, LACL'98, LACL'2001, LACL'2005 LACL'2011 appeared in the series Lecture Notes in Artificial Intelligence (volumes 1328, 1582, 2014, 2099, 3492, 6736), and the proceedings of LACL 2012 in Lecture Notes in Computer Science (volume 7351) published by Springer.

Contact

• Nicholas.Asher{at}irit.fr (replace {at} by @)
• Sergei.Soloviev{at}irit.fr (replace {at} by @)