Program
9:00 Valeria de Paiva, Nuance.com
Welcome [Slides]
9:10 Wlodek Zadrozny, University of North Carolina, Charlotte
After Watson [Slides]
10:10 Robin Cooper, University of Gothenburg, Sweden
Adapting Type Theory with Records for Natural Langauge Semantics [Slides]
11:20 Bruno Mery and Christian Retoré, Université de Bordeaux and IRIT, Toulouse
Advances in the Logical Representation of Lexical Semantics [Slides]
1:45 Christophe Fouqueré and Myriam Quatrini,
Laboratoire d'Informatique de Paris-Nord and Institut de Mathématiques de Luminy
A.N.R. LOCI
Inferences and Dialogues in Ludics [Slides]
2:30 Ian Pratt-Hartmann, University of Manchester
The Relational Syllogistic [Slides]
3:30 Alex Djalali, Stanford University
Extending a Natural Language Proof Theory: On Ordinary Comparatives [Slides]
4:40 Wren Thornton, Indiana University
Chiastic Lambda-Calculi [Slides]
5:30 Larry Moss, Indiana University
Current Work on Natural Logic [Slides]
|