| Dagstuhl is open for arrival from 14:00 |
| Time | Title | Author |
|---|---|---|
| 9:00 | Opening | the organizers |
| 9:30 | Invited Talk: Computing Anaphora | Bonnie Lynn Webber |
| 10:30 | Coffee/Tea Break | |
| Session I | Chair: Nissim Francez | |
| 11:00 | Between proofs and models: presuppositions | Tim Fernando |
| 11:45 | Theorem Proving and Programming with Dynamic First order Logic | Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin |
| 12:30 | Lunch | |
| Session II | Chair: James Allen | |
| 14:00 | Dialogue Modelling using Multiple Inferences over Information States | Joern Kreutel, Colin Matheson |
| 14:45 | Discourse Connectives, Inference and Information Structure | Ivana Kruijff-Korbayova, Bonnie Lynn Webber |
| 15:30 | Coffee/Tea Break | |
| Session III: System Descriptions and Demos | Chair: Bonnie Lynn Webber | |
| 16:00 | The study of the anaphoric relationship on the Romanian corpora | Liliana Cojocaru |
| 16:20 | System Demonstrations | |
| 18:00 | Dinner | |
| 19:30 | ICoS Business Meeting | |
| 22:00 | Cheese in the wine cellar |
| Time | Title | Authors |
|---|---|---|
| 9:30 | Invited Talk: Computational Semantics in Information Retrieval | Christof Monz |
| 10:30 | Coffee/Tea Break | |
| Session IV | Chair: Marc Steedman | |
| 11:00 | Generalized Quantifiers in Declarative and Interrogative Sentences | Raffaella Bernardi, Richard Moot |
| 11:45 | A Natural Logic inference system | Yaroslav Fyodorov, Yoad Winter, Nissim Francez |
| 12:30 | Lunch | |
| Session V | Chair: Christof Monz | |
| 14:00 | Computing Presuppositions and Implicatures in Mathematical Discourse | Claus Zinn |
| 14:45 | Towards a Tableaux Machine for Language Understanding | Michael Kohlhase, Alexander Koller |
| 15:30 | Coffee/Tea Break | |
| 16:00 | Invited Talk: Towards Practical Dialogue Systems | James Allen |
| 17:00 | Panel Discussion: The Future of Inference in Computational Semantics | TBA |
| 18:00 | Dinner | |
| 19:00 | Walk through the Dagstuhl wilderness | |
| 22:00 | Cheese in the wine cellar |