Due to popular requests, the deadline for submission has been extended to Sunday February 12th 2012 LACL 2012 Logical Aspects of Computational Linguistics July 2-4, 2012 LINA, Nantes, France http://lacl.gforge.inria.fr/lacl-2012 http://lacl2012.sciencesconf.org PRESENTATION 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 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 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 http://www.easychair.org/conferences/?conf=lacl2012 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 (http://www.springer.com/lncs). INVITED SPEAKERS Prof. Mark Steedman, School of Informatics University of Edinburgh, Scotland, United Kingdom Dr. Alexander Clark, Department of Computer Science, Royal Holloway University of London, United Kingdom 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 and LACL'2011 appeared in the series Lecture Notes in Artificial Intelligence (volumes 1328, 1582, 2014, 2099, 3492, 6736) published by Springer. 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 CONTACTS Alexandre.Dikovsky@univ-nantes.fr and Denis.Bechet@univ-nantes.fr