LACL'2016 is the 20th anniversary of the international conference on Logical Aspects of Computational Linguistics that was launched in Nancy in 1996. The scope of this conference is the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax, semantics and pragmatics as well as the implementation of natural language processing software relying on logical formalisation. As 20 years ago LACL will also take place at LORIA in Nancy.


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

There will be two kinds of papers:

Submission is exclusively admitted electronically, in PDF format, through the EasyChair system. The submission site is

It is expected that each accepted paper be presented at the meeting by one of its authors.