Programme Schedule

6 August 2017, at the Room 218, Jupiter building
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