**13-17 Jul 2015
Washington DC, U.S.A.**

Last Call for Extended Abstracts & Demonstrations - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'15 Theorem proving components for Educational software July 13-17, 2015 http://www.uc.pt/en/congressos/thedu/thedu15 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - at CICM 2015 Conferences on Intelligent Computer Mathematics Washington DC, USA http://cicm-conference.org/2015 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - THedu'15 Scope: The distinguishing feature of mathematics is reasoning: questionable statements are proved by the laws of logic. This kind of reasoning makes mathematics a central thinking technology of modern science. Educational software tools have integrated technologies from Computer Algebra, from Dynamic Geometry, from Spreadsheets and others, but not from (computer) theorem proving (TP) with few exceptions: the latter have been developed to model mathematical reasoning in software; theorem provers (TPs) are successfully used to tackle difficult proofs in the science of mathematics, like the Four Color Problem or the Kepler Conjecture; and TPs are successfully used to verify safety critical software in industry. This workshop addresses support for reasoning in mathematics education by use of TP technology. The workshop addresses educators and designers and developers of TPs as well as of other educational mathematics software; and the discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of a novel kind of tools probably establishing a new generation of educational mathematical tools. Important Dates * Extended Abstracts: 24 May 2015 * Author Notification: 08 June 2015 * Final Version: 21 June 2015 * Workshop Day: 1 day (13-17 July) Points of interest include: Adaptation of TP - concepts and technologies for education: knowledge representation, simplifiers, reasoners; undefinedness, level of abstraction, etc. Requirements on software support for reasoning - reasoning appears as the most advanced method of human thought, so at which age and what kind of support TP can provide? Automated TP in geometry - relating intuitive evidence with logical rigour: specific provers, adaption of axioms and theorems, visual proofs, etc. Levels of authoring - in order to cope with generality of TP: experts adapt to specifics of countries or levels, teachers adapt to courses and students. Adaptive modules, students' modelling and learning paths - services for user guidance provided by TP technology: which interfaces enable flexible generation of adaptive user guidance? Next-step-guidance, which suggests a next step when a student gets stuck in problem solving: which computational methods can extend TP for that purpose? TP as unifying foundation - for the integration of technologies like CAS, DGS, Spreadsheets etc: interfaces for unified support of reasoning? Continuous tool chains - for mathematics education from high-school to university, from algebra and geometry to graph theory etc. Submission We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere. All accepted extended abstracts and demonstrations will be presented at the workshop. The extended abstracts will be made available online. Extended abstracts and demonstration proposals should be submitted via THedu'15 easychair (https://www.easychair.org/conferences/?conf=thedu15). Extended abstracts and demonstration proposals should be no more than 4 pages in length and are to be submitted in PDF format. They must conform to the EPTCS style guidelines (http://style.eptcs.org/). At least one author of each accepted extended abstract/demonstration proposal is expected to attend THedu'15 and presents his/her extended abstract/demonstration. Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Roman Ha?ek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria(co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria Burkhart Wolff, University Paris-Sud, France Proceedings Following ThEdu'13 and ThEdu'14 practise we expect to have a joint proceedings of the workshops co-located with the Conferences on Intelligent Computer Mathematics.