THEDU'21 PROGRAM
Sunday, July 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:00-10:00 Session 2E: ThEdu Workshop: ATPs in Geometry
Location: ZoomRoom 1
| 08:00 | Towards Next Step Guidance in Triangle Construction Problems (abstract) PRESENTER: Vesna Marinković |
| 08:30 | Four Geometry Problems to Introduce Automated Deduction in Secondary Schools (abstract) PRESENTER: Pedro Quaresma |
| 09:00 | Symbolic Comparison of Geometric Quantities in GeoGebra (abstract) PRESENTER: Zoltán Kovács |
| 09:30 | Prooftoys: a Proof Assistant for Beginners (abstract) |
10:00-10:30Break
10:30-12:00 Session 4E: ThEdu Workshop: ATPs in Geometry; Isabelle in Education
Location: ZoomRoom 1
| 10:30 | Automated Discovery of Geometrical Theorems in GeoGebra (abstract) PRESENTER: Zoltán Kovács |
| 11:00 | Teaching Intuitionistic Propositional Logic Using Isabelle (abstract) PRESENTER: Jørgen Villadsen |
| 11:30 | Make Isabelle Accessible! (abstract) PRESENTER: Walther Neuper |
12:00-12:30Break
12:30-14:00 Session 6E: ThEdu Workshop: Automated Deduction Educational Applications
Location: ZoomRoom 1
| 12:30 | Learning Theorem Proving by Example - Implementing JavaRes (abstract) PRESENTER: Adam Pease |
| 13:00 | Evolution of SASyLF 2008-2021 (abstract) |
| 13:30 | A Drag-and-Drop Proof Tactic (abstract) PRESENTER: Pablo Donato |
14:00-14:30Break
14:30-15:20 Session 8C: ThEdu Workshop: Invited Talk
Location: ZoomRoom 1
| 14:30 | How can we make Formal Proof Teachable? |
15:20-16:20 Session 9: ThEdu Workshop: Automated Deduction Educational Applications
Location: ZoomRoom 1
| 15:20 | Automated Grading of Automata with ACL2s (abstract) PRESENTER: Ankit Kumar |
| 15:50 | Automated Instantiation of Control Flow Tracing Exercises (abstract) PRESENTER: Clemens Eisenhofer |