ThEdu'15 - 1st session - 15th July - 9:00-10:30 - chair Pedro Quaresma
| 9:00-9:30 | Visual Geometry Proofs in a Learning Context | Pedro Quaresma and Vanda Santos |
| 9:30-10:00 | Argumentative Effects of a Geometric Construction Tutorial System in Solving Problems of Proof | Richard R. Philippe, Juan J. Paneque, Pedro Cobo and Josep M. Fortuny |
| 10:00-10:30 | Creating Usable Computer Tools that Reason Mathematically | Crispin Perdue |
ThEdu'15 - 2nd session - 15th July - 11:00-12:00 - chair Pedro Quaresma
| 11:00-12:00 | Mathtoys Demo | Crispin Perdue |