Proof theory at the syntax/semantics interface, 2005 Institute of the Linguistic Society of America

Extended abstracts, slides, and notes of the workshop on "Proof theory at the syntax/semantics interface" held at the 2005 Institute of the Linguistic Society of America are posted at http://wintermute.linguistics.ucla.edu/prooftheory/

The workshop, sponsored by NSF, brought together computational linguists, logicians, and semanticists to explore the use of proof theory as a mediator between model theoretic semantics and generative syntax.

Organizers: Anna Szabolcsi and Edward Stabler. For more information, please contact anna.szabolcsi at nyu.edu