loading...
Invited Talk
List of accepted extended abstracts
| 08:30-10h00 | ThEdu'19, Session 1 |
|---|---|
| | Chair Patrick Terrematte |
| 08:30-09:00 | Nuno Baeta, Pedro Quaresma and Zoltán Kovács |
| | Towards a Geometry Automated Provers Competition |
| 09:00-09:30 | Vanda Santos and Pedro Quaresma |
| | Geometry Conjectures Validation - Case Study |
| 09:30-10:00 | Joke Meheus, Kris Coolsaet, Stef Frijters, Thijs De Coninck and Sofie Avery |
| | Alonzo, An Intelligent Multi-Tutor for Logic Curricula |
| 10:00-10:30 | Coffee Break |
| 10:30-12:00 | ThEdu'19, Session 2 |
| | Chair Pedro Quaresma |
| 10:30-11:00 | Ludovic 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:00 | Invited Talk - Sarah Winkler |
| | Automation of Rewriting for Fun in Research and Profit in Teaching |
| 12:00-14:00 | Lunch Break |
| 14:00-16:00 | ThEdu'19, Session 3 |
| | Chair Pedro Quaresma & Patrick Terrematte |
| 14:00-14h30 | Geometry Automated Provers Competition Results |
| 14:30-15:00 | ThEdu'19 business meeting |
| 16:00-16:30 | Coffee Break |