Thursday, September 25 09:15-09:30 Opening 09:30-10:30 Invited Talk Claire Gardent, Computational Semantics meets Computer Science 10:30-11:00 Coffee Break 11:00-13:00 Session 1      Exploring Model Building for Natural Language Understanding Johan Bos Building Models for Bridges Phillip Cimiano Lexicalisation as a Description Logic Inference Task Claire Gardent and Evelyne Jacquey Exploring the Generation and Usage of Inference in a Biologically Inspired Neural Net Eleni Koutsomitopoulou 13:00-14:30 Lunch 14:30-15:30 Invited Talk Harry Bunt and Laurent Romary, Towards a Computationally Adequate Representation of Multimodal Semantic Information 15:30-16:00 Coffee Break 16:00-17:30 Session 2       Dynamic Predicate Logic with Defeasible Non-Kind-Denoting Singular Generics Norihiro Ogata       In Situ Binding: A Hybrid Approach Carlos Areces and Raffaella Bernardi       Describing Lambda Terms in Context Unification Joachim Niehren and Mateu Villaret Friday, September 26 09:30-10:30 Invited Talk Balder ten Cate, Logical Investigations into the Partition Semantics of Questions 10:30-11:00 Coffee Break 11:00-13:00 Session 1 Using Semantic Inference for Temporal Annotation Comparison Andrea Setzer, Robert Gaizauskas and Mark Hepple A Time Calculus for Natural Language Benjamin Han and Michael Kohlhase Temporal Prepositions and their Logic Ian Pratt-Hartmann A `Natural Logic' Inference System Using Normalisation Anna Zamansky, Nissim Francez, Yoad Winter 13:00-14:30 Lunch 14:30-15:30 Invited Talk Allan Ramsay, What can Inference do for us? 15:30-16:00 Coffee Break 16:00-17:30 Session 2       Conditionals and Pseudo-Conditionals in Mathematical Texts Claus Zinn       Computing the Rhetoric of Text Proofs Adil El Ghali and Laurent Roussarie       Domain Inference in Incremental Interpretation David deVault and Matthew Stone 17:30-17:45 Closing Remarks

Inference in Computational Semantics
Contact address