Proof Theory at the Syntax/Semantics Interface
Date: July 8-10, 2005
Time:
Friday, 6pm-8pm
Saturday, 9am-6pm
Sunday, 9am-12pm
Loacation: Harvard, Emerson 108

Semantics plays a role in grammar in at least three guises. A compositional interpretation is assigned to expressions; the well-formedness of various constructions depends on morpho-syntactic features with a semantic flavor; proof theory offers an approach to inference. Bringing together semanticists, syntacticians, computational linguists and possibly psycholinguists, the workshop will explore how the use of proof theory as a mediator between model theoretic semantics and generative syntax can lead to theoretically interesting insights at the syntax/semantics interface.

This NSF sponsored workshop will start with a proof theoretic tutorial on Friday evening, followed by papers and discussion on Saturday and on Sunday morning.

Organizers:
Anna Szabolcsi and Edward Stabler

Contact:
Anna Szabolcsi
Linguistics
New York University
719 Broadway, Rm. 423
New York, NY 10003

Phone: 212-998-7956
Fax: 212-995-4707 (attn. Szabolcsi)
e-mail: anna.szabolcsi@nyu.edu
web: http://wintermute.linguistics.ucla.edu/prooftheory

Invited Speakers
Raffaella Bernardi (Free University of Bozen-Bolzano)
Oystein Nilsen (Utrecht institute of Linguistics OTS)
Richard Oehrle (Cataphora, Inc.)
Yoad Winter (Technion-Israel Institute of Technology)

Call for Papers
Abstract deadline: March 20, 2005