- 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
9-11, July, 2014
CICM 2014, Conferences on Intelligent Computer
Mathematics, 7-11 July 2014, University Coimbra, Portugal.