this book constitutes the refereed proceedings of the 4th international conference on logical aspects of computational linguistics, lacl 2001, held in le croisic, france, in june 2001.the 16 revised full papers presented together with two invited papers were carefully reviewed and selected for presentation. among the topics covered are categorical grammars, dependency grammars, formal language theory, grammatical inference, hyperintensional semantics, minimalism, type-logical semantics, language learning, and natural language processing.