Challenges and Novel Applications for Automated Reasoning
Schedule:Camera-ready materials: 8 July 2003
Workshop: 28 July 2003
Programme:14.00-14.45 Invited talk:
Geoff Sutcliffe, "The Grand Challenge of Theorem Discovery"
14.50-15.30 Position statements:
Peter Andrews, "A Universal Automated Information System for Science and Technology"
Jacques Calmet, "Are there True Grand Challenges in Mechanized Mathematics?"
Christoph Walther, "Concept formation"
16.00-16.45 Panel discussion: (Toby Walsh moderator)
Simon Colton, Stephan Schulz, Volker Sorge, Cesare Tinelli
16.45-18.00 Novel applications:
Raul Monroy, Computer Modelling the Human Immune System.
Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann, Christoph Wernhard,
KRHyper Inside: Model Based Deduction in Applications.
Eleftheria Katsiri and Alan Mycroft,
Knowledge Representation and Scalable Abstract Reasoning for Sentient Computing using First-Order Logic
Home | Outline | Call for Participation | Program Committee | Participants | Proceedings | Schedule | Links