Invited Speakers
- James Davenport, University of Bath, United Kingdom - Recent advances in real geometric reasoning
- António Leal Duarte, University of Coimbra, Portugal - Teaching Tiles
- Deepak Kapur, University of New Mexico, USA - A generalization of Rabinowitsch's trick and its applications
- Tomas Recio, University of Cantabria, Spain - Automated theorem proving in dynamic geometry by checking a number of instances
