CADE-30: 30TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
PROGRAM FOR SATURDAY, AUGUST 2ND
Days:
previous day
all days

View: session overviewtalk overview

09:00-10:30 Session 25A: Automated Deduction in Geometry (5)
09:00-10:30 Session 25B: Satisfiability Checking and Symbolic Computation (1)
09:00-10:30 Session 25C: Theorem Proving Components for Educational Software (1)
09:00-10:30 Session 25D: TPTPTP (1)
Chair:
Geoff Sutcliffe
09:00
Geoff Sutcliffe
Welcome
09:10
Geoff Sutcliffe
Review of the TPTP format for derivations
10:30-11:00Coffee Break
11:00-12:30 Session 26A: Automated Deduction in Geometry (6)
11:00-12:30 Session 26B: Satisfiability Checking and Symbolic Computation (2)
11:00-12:30 Session 26C: Theorem Proving Components for Educational Software (2)
11:00-12:30 Session 26D: TPTPTP (2)
Chair:
Geoff Sutcliffe
12:30-14:00Noon Break
14:00-15:30 Session 27A: Automated Deduction in Geometry (7)
14:00-15:30 Session 27B: Satisfiability Checking and Symbolic Computation (3)
14:00-15:30 Session 27C: Theorem Proving Components for Educational Software (3)
14:00-15:30 Session 27D: TPTPTP (3)
Chair:
Michael Rawson
15:30-16:00Coffee Break
16:00-18:00 Session 28A: Automated Deduction in Geometry (8)
16:00-18:00 Session 28B: Satisfiability Checking and Symbolic Computation (4)
16:00-18:00 Session 28C: Theorem Proving Components for Educational Software (4)
16:00-18:00 Session 28D: TPTPTP (4)
Chair:
Michael Rawson