CSLI Workshop on Natural Logic, Proof Theory, and Computational Semantics
April 8 and 9, 2011
Center for the Study of Language and Information, Stanford University

     This workshop was dedicated to exploring computational aspects of natural language semantics, natural logic, proof theoretic approaches to semantics, and related topics.

See the program for details, and handouts and slides from talks.

The main organizers were Valeria de Paiva, Annie Zaenen, and Thomas Icard.