Invited Talk

List of accepted extended abstracts

Programme in a PDF file

08:30-10h00ThEdu'19, Session 1
Chair Patrick Terrematte
08:30-09:00Nuno Baeta, Pedro Quaresma and Zoltán Kovács
Towards a Geometry Automated Provers Competition
09:00-09:30Vanda Santos and Pedro Quaresma
Geometry Conjectures Validation - Case Study
09:30-10:00Joke Meheus, Kris Coolsaet, Stef Frijters, Thijs De Coninck and Sofie Avery
Alonzo, An Intelligent Multi-Tutor for Logic Curricula
10:00-10:30Coffee Break
10:30-12:00ThEdu'19, Session 2
Chair Pedro Quaresma
10:30-11:00Ludovic Font, Nicolas Leduc, Michel Gagnon and Philippe R. Richard
An Automated Geometry Theorem Prover in Prolog that Provides Proofs Relevant for High School Mathematics Education
11:00-12:00Invited Talk - Sarah Winkler
Automation of Rewriting for Fun in Research and Profit in Teaching
12:00-14:00Lunch Break
14:00-16:00ThEdu'19, Session 3
Chair Pedro Quaresma & Patrick Terrematte
14:00-14h30Geometry Automated Provers Competition Results
14:30-15:00ThEdu'19 business meeting
16:00-16:30Coffee Break