Presentations
Invited Talk
- Theorem proving components in GeoGebra, Francisco Botana, University of Vigo, Spain - Abstract
Normal Presentations (accepted extended abstracts)
- Walther Neuper, Technology of Deduction for “Systems that Explain Themselves”
- Walther Neuper, Prototyping “Systems that Explain Themselves” for Education
- Pedro Quaresma, Vanda Santos and Nuno Baeta, WGL Meets TGTP
- Mario Frank and Christoph Kreitz, A theorem prover for scientific and educational purposes
- Arno Ehle, Norbert Hundeshagen and Martin Lange, Automated Reasoning in the Sequent Calculus Trainer
- Vanda Santos, Nuno Baeta and Pedro Quaresma, TGTP Problem Taxonomy
- Graham Leach-Krouse, Carnap: An Open Framework for Formal Reasoning in the Browser
- 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
