Program for Saturday, August 2nd: Session View

CADE-30: 30TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION

PROGRAM AUTHORS KEYWORDS

PROGRAM FOR SATURDAY, AUGUST 2ND: SESSION VIEW

Days:

View: with abstracts talk overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

09:00-10:30

Automated Deduction in Geometry (5)

09:00-10:30

Satisfiability Checking and Symbolic Computation (1)

09:00-10:30

Theorem Proving Components for Educational Software (1)

09:00-10:30

11:00-12:30

Automated Deduction in Geometry (6)

11:00-12:30

Satisfiability Checking and Symbolic Computation (2)

11:00-12:30

Theorem Proving Components for Educational Software (2)

11:00-12:30

14:00-15:30

Automated Deduction in Geometry (7)

14:00-15:30

Satisfiability Checking and Symbolic Computation (3)

14:00-15:30

Theorem Proving Components for Educational Software (3)

14:00-15:30

16:00-18:00

Automated Deduction in Geometry (8)

16:00-18:00

Satisfiability Checking and Symbolic Computation (4)

16:00-18:00

Theorem Proving Components for Educational Software (4)

16:00-18:00

10:30-11:00 Coffee Break

12:30-14:00 Noon Break

15:30-16:00 Coffee Break

Disclaimer | Powered by EasyChair Smart Program