Universiteit van Amsterdam


Institute for Logic, Language and Computation

6 - 11 August 2017, Workshop on Theorem proving components for Educational software (ThEdu 2017), Gothenburg, Sweden

Date: 6 - 11 August 2017
Location: Gothenburg, Sweden
Deadline: Sunday 18 June 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. This CADE'26 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.

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.