ThEdu'18: 7th International Workshop on Theorem proving components for Educational software post-FLoC workshop Oxford, UK, July 18, 2018 |
Conference website | http://www.uc.pt/en/congressos/thedu/thedu18 |
Submission link | https://easychair.org/conferences/?conf=thedu18 |
Conference program | https://easychair.org/smart-program/FLoC2018/ |
Abstract registration deadline | April 15, 2018 |
Submission deadline | April 15, 2018 |
THedu'18 Scope:
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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Abstracts - Extended abstracts and demonstration proposals should be approximately 5 pages in length and are to be submitted in PDF format.
At least one author of each accepted extended abstract/demonstration proposal is expected to attend THedu'18 and presents his/her extended abstract/demonstration.
List of Topics
- methods of automated deduction applied to checking students' inputs;
- methods of automated deduction applied to prove post-conditions for particular problem solutions;
- combinations of deduction and computation enabling systems to propose next steps;
- automated provers specific for dynamic geometry systems;
- proof and proving in mathematics education.
Committees
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
Organizing committee
- Pedro Quaresma, University of Coimbra, Portugal (co-chair)
- Walther Neuper, Graz University of Technology, Austria (co-chair)
Invited Speakers
- Julien Narboux, University of Strasbourg, France
Publication
The extended abstracts and system descriptions will be available in ThEdu'18 Web-page. 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).
Venue
At FLoC 2018, Federated Logic Conference 2018, 6-19 July 2018, Oxford, UK, http://www.floc2018.org/Oxford, UK
Contact
All questions about submissions should be emailed to Pedro Quaresma <pedro@mat.uc.pt> or Walther Neuper <wneuper@ist.tugraz.at>