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.