Edited under the auspices of the Association of Logic Language andInformation (FoLLI) this
book constitutes the refereed proceedings ofthe 20th anniversary of the International
Conference on LogicalAspects of Computational Linguistics LACL 2016 held in LORIA Nancy
France in December 2016. The 19 contributed papers presentedtogether with 4 invited papers
and 6 abstracts were carefullyreviewed and selected from 38 submissions. The focus of the
conferenceis the use of type theoretic proof theoretic and model theoreticmethods for
describing and formalising natural language syntax semantics and pragmatics as well as the
implementation of thecorresponding tools.
