* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *
LINGUIST List 16.1887

Sat Jun 18 2005

Confs: Ling Theories/Semantics/Syntax/Cambridge, MA, USA

Editor for this issue: Amy Wronkowicz <amylinguistlist.org>


To post to LINGUIST, use our convenient web form at http://linguistlist.org/LL/posttolinguist.html.
Directory
        1.    Anna Szabolcsi, Proof Theory at the Syntax/Semantics Interface


Message 1: Proof Theory at the Syntax/Semantics Interface
Date: 15-Jun-2005
From: Anna Szabolcsi <anna.szabolcsinyu.edu>
Subject: Proof Theory at the Syntax/Semantics Interface


Proof Theory at the Syntax/Semantics Interface

Date: 08-Jul-2005 - 10-Jul-2005
Location: Cambridge, MA, United States of America
Contact: Anna Szabolcsi
Contact Email: anna.szabolcsinyu.edu
Meeting URL: http://web.mit.edu/lsa2005/events/szabolcsi_stabler.html

Linguistic Field(s): Computational Linguistics; Linguistic Theories;
Psycholinguistics; Semantics; Syntax

Meeting Description:

Proof Theory at the Syntax/Semantics Interface
Workshop at the 2005 LSA Linguistic Institute, Cambridge, MA
July 8-10, 2005

Program

Workshop web site with abstracts, and further information:
http://web.mit.edu/lsa2005/events/szabolcsi_stabler.html
and
http://wintermute.linguistics.ucla.edu/prooftheory/

Organizers: Anna Szabolcsi, New York University and Edward Stabler, UCLA
Invited speakers: Raffaella Bernardi, Oystein Nilsen, Richard Oehrle, and
Yoad Winter

To pre-register and, especially, to register for the workshop dinner, please
email proof.theorygmail.com by June 25, 2005, if at all possible.

Location: Emerson Hall 108 (in Harvard Yard, see http://www.map.harvard.edu/ )

July 8, Friday

6:00pm - 8:00pm
Richard T. Oehrle: Proof Theory Tutorial

July 9, Saturday

8:30am Registration, breakfast

Morning Session: Clausal Architecture and Inferences

9:00am - 10:00am
Øystein Nilsen: A proof theoretical approach to (ad)verb placement and clausal
architecture
10:10am - 12:20am
Raffaella Bernardi and Anna Szabolcsi: Semantically based inferences in syntax

Lunch break

Afternoon Session: Grammar and Natural Logic

2:00pm - 2:50pm
Larry Moss: Completeness in Natural Logic: what and why?
3:00pm - 3:50pm
Yoad Winter: On inference with scopally ambiguous sentences
4:00pm - 4:50pm
Edward Stabler: Natural Logic in linguistic theory
5:00pm
General discussion

7:00pm Workshop dinner

July 10, Sunday

8:30 Breakfast

Morning Session: Symmetry and Scope

9:00am - 10:00am
Chris Barker: Direct compositionality on demand
10:10am - 11:10am
Michael Moortgat: Grammatical invariants
11:20am
General discussion

End of Workshop


Respond to list|Read more issues|LINGUIST home page|Top of issue




Please report any bad links or misclassified data

LINGUIST Homepage | Read LINGUIST | Contact us

NSF Logo

While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed
on its pages, it cannot vouch for their contents.