PaPS program

All sessions take place in auditorium 8.

Wednesday July 31st

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

12:30-14:00  Lunch

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

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 RADM)

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)

Thursday August 1st

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

09:00-10:30  Session 3

09:00  Jieh Hsiang, Yuh Pyng Shieh, and YaoChinag Chen; National Taiwan U, Taiwan
The cyclic complete mapppings counting problems
09:30  John Slaney, Australian National U
A benchmark template for substructural logics
10:00  Zac Ernst, U Wisconsin-Madison, USA et al.
More first-order test problems in math and logic

10:30-11:00  Refreshments

11:00-12:30  Session 4

11:00  Koen Claessen, Safelogic AB, Sweden; Reiner Hähnle, Chalmers U of Techn., Sweden; and Johan Mårtensson, Safelogic AB, Sweden
Verification of hardware systems with first-order logic
11:30  Johann Schumann, NASA Ames, USA
Invited talk: Using automated theorem provers? using automated theorem provers!

12:30-14:00  Lunch