| Where |
| |
| When |
| |
|
| ||
| 9-9:15 |
Welcome | |
| 9:15-10:30 |
Annotating and Parsing Predicate-Argument Structure for German (Slides) | |
| 10:30-11 |
| |
| 11-11:40 |
Quantification and Dynamic Lambda Calculus (Slides) | |
| 11:40-14:00 |
| |
| 14:00-14:40 |
The CHORUS/LISA Prototype (Slides) | |
| 14:40-15:20 |
D-TAG (Discourse Tree Adjoining Grammar) | |
| 15:20-15:50 |
| |
| 15:50-16:30 | ||
| 16:30-17:10 |
Proof-Planning with Constraints (Slides) |