RADM program

Wednesday July 31st, 2002

All sessions take place in auditorium 8.

RADM's program is also available with abstracts or side by side with other meetings.

09:00-10:30  Session 1

09:00  Paul Cairns and Jeremy Gow, U College London, UK
Automated deduction systems for real mathematicians
09:30  Chen Lingjun, Nihon U, Japan; Hidetsune Kobayashi, Nihon U, Japan; Hirokazu Murao, U Electro-Communications, Japan; and Hideo Suzuki, Polytechnic U, Japan
Notes on formalizing induction on the number of sets
10:00  Simon Colton, U Edinburgh, UK; Roy McCasland, U Edinburgh, UK; Alan Bundy, U Edinburgh, UK; and Toby Walsh, U College Cork, Ireland
Automated theory formation for tutoring tasks in pure mathematics

10:30-11:00  Refreshments

11:00-12:00  Session 2

11:00  Manfred Kerber, U Birmingham, UK and Martin Pollet, Saarland U, Germany
On the design of mathematical concepts
11:30  Christoph Schwarzweller, U Tübingen, Germany
Symbolic deduction in mathematical databases based on properties

12:30-14:00  Lunch

14:00-15:30  Joint session 1 (joint with PaPS)

14:00  John Harrison, Intel, USA
Invited talk: Extracting test problems from real applications
15:00  Jürgen Zimmer, Saarland U, Germany; Andreas Franke, Saarland U, Germany; Simon Colton, U Edinburgh, UK; and Geoff Sutcliffe, U Miami, USA
Integrating HR and tptp2X into MathWeb to compare automated theorem provers

15:30-16:00  Refreshments

16:00-17:30  Joint session 2 (joint with PaPS)

16:00  Peter B. Andrews, Carnegie Mellon U, USA; Alan Bundy, U Edinburgh, UK; William McCune, Argonne National Laboratory, USA; and Rick Sommer, Stanford U, USA
Panel: Challenge problems for automated deduction (with special emphasis on mathematics)