Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

Call for papers for EPTCS volume on theorem proving components for educational software

Deadline: Monday 18 November 2019

The programme of the workshop ThEdu'19 was comprised of one invited contribution and four regular contributions, whose abstract are in the workshop web-page. Now postproceedings are planned to collect the contributions upgraded to full papers. We welcome submission of papers presenting original unpublished work which is not been submitted for publication elsewhere.  This is a call open for everyone, also those who did not participate in the workshop. All papers will undergo review according to EPTCS standards.

Scope: Computer Theorem Proving is becoming a paradigm as well as a technologica base for a new generation of educational software in science, technology, engineering and mathematics. Topics of interest include:
- methods of automated deduction applied to checking students' input;
- 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.

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 18 November, 2019.

Please note that this newsitem has been archived, and may contain outdated information or links.