|Theorem proving components for Educational software |
| International Conference on Automated Deduction|
|6-11 August 2017|
Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.
Topics of interest include:
Interested researchers are invited to submit extended abstracts and system descriptions. Both kinds of submissions should be approximately 5 pages in length and present original unpublished work not submitted elsewhere.
Submission is in PDF format via easychair, https://easychair.org/conferences/?conf=thedu17
formatted according to http://www.easychair.org/publications/easychair.zip
The extended abstracts and system descriptions will be made available online. At least one author is expected to presents his/her submission at ThEdu'17.
It is expected that after presentation at the conference, selected authors will be invited to submit a substantially revised version, extended to 14-20 pages, for publication by the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Francisco Botana, University of Vigo at Pontevedra, Spain
Achim Brucker, University of Sheffield, United Kingdom
Walther Neuper, Graz University of Technology, Austria (co-chair)
Filip Maric, University of Belgrade, Serbia
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