THEDU PROGRAM
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120J: SMT & Automated Deduction (University Level)
Chair:
Location: Ullmann 306
| 09:00 | On Exams with the Isabelle Proof Assistant (abstract) PRESENTER: Frederik Krogsdal Jacobsen |
| 09:30 | Invited Talk: Satisfiability Modulo Theories in an Undergraduate Class (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 125P: Proof Tree Builder & Rule Based ATP
Chair:
Location: Ullmann 306
| 11:00 | A Proof Tree Builder for Sequent Calculus and Hoare Logic (abstract) |
| 11:30 | Rule Based Geometry Automated Theorem Provers (abstract)  PRESENTER: Pedro Quaresma |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 127P: Proofs in Education (High-School Level)
Chair:
Location: Ullmann 306
| 14:00 | Invited Talk: Computer-assisted proofs and automated methods in Mathematics Education (abstract) |
| 15:00 | A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year (abstract) PRESENTER: Pedro Quaresma |
15:30-16:00Coffee Break
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event