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.

Call for Papers:

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:

Articles should be written in the LaTeX format
of LNCS by Springer (see
authors instructions at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0)
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.

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 Lacture Notes in Computer Science
(volume 7351) published by Springer.