This is a preliminary schedule: Times and slots are subject to change    8:30 - Building open and registration Session 1 Session Chairs: Christof Monz & Maarten de Rijke 9:45 - 10:00 Opening 10:00 - 11:00 Invited speaker: Matthew Stone Towards a Computational Account of Knowledge, Action and Instructions 11:00 - 11:15 Coffee Break Session 2 Session Chair: Stephen Pulman 11:15 - 11:35 Claire Gardent and Karsten Konrad: Definites and the Proper Treatment of Rabbits 11:35 - 11:55 Gann Bierner and Bonnie Webber: Inference through Alternative-Set Semantics 11:55 - 12:15 Allan Ramsay and Helen Seville: Models and Discourse Models 12:15 - 12:35 Aaron Kaplan: Reason Maintenance in a Hybrid Reasoning System 12:35 - 14:00 Lunch: Café De Plantage Session 3 Session Chair: Matthew Stone 14:00 - 15:00 Invited speaker: Johan Bos Automated Reasoning for Natural Language Semantics 15:00 - 16:00 System demonstrations: The system demonstrations will be given in parallel (each of them lasting approx. 10 minutes) Malte Gabsdil and Kristina Striegnitz: Classifying Scope Ambiguities Alexander Holt, Ewan Klein and Claire Grover: Natural Language for Hardware Verification: Semantic Interpretation and Model Checking Ramon Otero and Oscar Trinidad: Action Formalisms in Language Understanding Gann Bierner and Bonnie Webber: Inference through Alternative-Set Semantics Aaron Kaplan: Reason Maintenance in a Hybrid Reasoning System Allan Ramsay and Helen Seville: Models and Discourse Models Session 4 Session Chair: Johan Bos 16:00 - 16:20 Jan Jaspars: Structural Logics for Reasoning with Underspecified Representations 16:20 - 16:40 Peter Baumgartner and Michael Kühn: Abducing Coreference by Model Construction 16:40 - 17:00 Bernd Ludwig, Günther Görz and Heinrich Niemann: An Inference-Based Approach to the Interpretation of Discourse 17:00 - 18:00 Invited speaker: Stephen Pulman Bidirectional Contextual Resolution 18:00 End 20:00 Conference dinner