Workshop Organizers:
Leonid Libkin and
Gerald
Penn
Department of Computer
Science
University of Toronto
10 King's College Rd.
Toronto M5S 3G4
CANADA
Email: {libkin,gpenn}@cs.toronto.edu
Phone: +1 416 978 7390
Fax: +1 416 978 1455
Invited Speakers:
Frank Pfenning,
Carnegie Mellon University
Mark Steedman,
University of Edinburgh
With support gratefully received from:
Association for Symbolic Logic
Centre de recherches mathématiques
Fields Institute
|
Preliminary Programme
| 9-10 |
| Invited talk: Combinatory Logic and Natural Grammar, |
| Mark Steedman, University of Edinburgh |
|
| 10-10:30 |
| An Expressive First-Order Logic with Flexible Typing for Natural
Language Semantics |
| Chris Fox and Shalom Lappin, King's College London |
|
| 10:30-11 |
break |
| 11-11:45 |
| Whatever happened to Feature Logic? : a history, |
| Bill Rounds, University of Michigan and University of Cambridge |
|
| 11:45-12:15 |
| Natural Language Syntax and Signature Transformation, |
| Uwe Moennich, Stephan Kepser and Frank Morawietz, University
of Tuebingen |
|
| 12:15-2 |
lunch |
| 2-3 |
| Invited Talk: On Order and Linearity in Logical Frameworks:
The Lambek Calculus Revisited, |
| Frank Pfenning, Carnegie Mellon University |
|
| 3-3:30 |
| Formal Learnability Theory and Computational Linguistics, |
| Christophe Costa-Florencio, University of Utrecht |
|
| 3:30-4 |
break |
| 4-4:30 |
| wMSO Theories and the Control Language Hierarchy, |
| James Rogers, Earlham College |
|
| 4:30-5 |
| Model-Theoretic Syntax and Transitive Closure Logic, |
| Hans-Joerg Tiede, Illinois Wesleyan University |
|
| 5-5:30 |
| Linguistic Side Effects, |
| Chung-chieh Shan, Harvard University |
|
|