Challenges and Novel Applications for Automated Reasoning

CADE-19 Workshop
July 28, 2003
Miami
USA

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"

15.30-16.00 Break

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