[TYPES/announce] LACL 2014

[Sergei Soloviev]

LACL 2014 

Logical Aspects of Computational Linguistics 
                   IRIT, Toulouse, France 
       18-20 June 2014 
                  http://www.irit.fr/LACL2014/ 

              FIRST CALL FOR CONTRIBUTIONS 

               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. 

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 
         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 
   * logics 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 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. 

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 will be published as a 
volume of the FoLLI subline of Lecture Notes in Computer Science 
(LNCS) by Springer (http://www.springer.com/lncs). 

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



IMPORTANT DATES 

Paper submission deadline: March 15, 2014 
Notification of acceptance: April 5, 2014 
Camera ready copies due: April 15, 2014 
Conference dates: June 18-20, 2014 

CONTACTS 

soloviev at irit.fr and 
asher at irit.fr 
(co-chairs of LACL 2014)