loading...
| 9:00-9:30 | Walther Neuper, Technology of Deduction for “Systems that Explain Themselves" (presentation) |
| 9:30-10:00 | Walther Neuper, Prototyping “Systems that Explain Themselves” for Education (presentation) |
| 10:00-10:30 | Coffee break |
| 10:30-11:30 | Theorem proving components in GeoGebra, Francisco Botana (Invited Talk) (presentation) |
| 11:30-12:00 | Mario Frank and Christoph Kreitz, A theorem prover for scientific and educational purposes (presentation) |
| 12:00-14:00 | Lunch break |
| 14:00-14:30 | Pedro Quaresma, Vanda Santos and Nuno Baeta, WGL Meets TGTP (presentation) |
| 14:30-15:00 | Arno Ehle, Norbert Hundeshagen and Martin Lange, Automated Reasoning in the Sequent Calculus Trainer (presentation) |
| 15:00-15:30 | Coffee break |
| 15:30-16:00 | Vanda Santos, Nuno Baeta and Pedro Quaresma, TGTP Problem Taxonomy (presentation) |
| 16:00-16:30 | Graham Leach-Krouse, Carnap: An Open Framework for Formal Reasoning in the Browser (presentation) |
| 16:30-17:00 | Philippe R. Richard, Ludovic Font, Michel Gagnon and Carolina Henriquez Rivas, Improving QED-Tutrix by automatically generating problems and proofs, and helping students with related problems (presentation) |
| 17:00-17:30 | Business Meeting |
Normal Talks: 25min+5min Q&A