Logic List Mailing Archive

LACL 2011: Logical Aspects of Computational Linguistics, Montpellier (France), 29 June to 1 July 2011

LACL 2011

Logical Aspects of Computational Linguistics

June 29th, 30th and July 1st

LIRMM, Montpellier, France

http://lacl.gforge.inria.fr

Proceedings will be published as a volume of the FoLLI LNAI subline
ofLNCS

PRESENTATION

LACL'2011 is the 6th edition of a series of international conferences
on logical and formal methods in computational linguistics. It
addresses in particular 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
LIRMM, Montpellier, France. It will be co-located with TALN, the
conference of the French association for NLP (ATALA).

Topics:

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.

     * logical foundation of syntactic formalisms
           o categorial grammars
           o minimalist grammars
           o dependency grammars
           o tree adjoining grammars
           o model theoretic syntax
           o formal language theory for natural language processing
           o data-driven approaches
     * logic for semantics of lexical items, sentences, discourse and dialog
           o discourse theories
           o Montague semantics
           o compositionality
           o dynamic logics
           o game semantics
           o situation semantics
           o generative lexicon
 	  o categorical semantics
     * applications of these models to natural language processing
           o software for natural language analysis
           o software for acquiring linguistic resources
           o software for natural language generation
           o software for information extraction
 	  o inference tasks
           o evaluation
           o scalability


SUBMISSIONS and PROCEEDINGS

Articles should be written in the LaTeX format of LNCS/LNAI by
Springer (see authors instructions at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and
should not exceed 16 pages (including figures, bibliography, possible
apendices). 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
http://www.easychair.org/conferences/?conf=lacl2011


PROCEEDINGS

Accepted papers will be published in advance of the meeting as a
volume of the FoLLI LNAI subline of Lecture Notes in Computer Science
(LNCS) by Springer (http://www.springer.com/lncs).


INVITED SPEAKERS

To be announced.


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 and LACL'2005 appeared in the series Lecture Notes
in Artificial Intelligence (volumes 1328, 1582, 2014, 2099, 3492)
published by Springer.



IMPORTANT DATES

Paper submission deadline:	February 6th 2011
Notification of acceptance:	March 25th 2011
Camera-ready papers due:	April 10th 2011
LACL conference:		June 29th, 30th and July 1st 2011



CONTACTS

sylvain.pogodalla@inria.fr