Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educa tional software in science, technology, engineerin g and mathematics. The workshop was to bring toget her experts in automated deduction with experts in education in order to further clarify the shape o f the new software generation and to discuss exist ing systems.
\n\nThe ThEdu'20 workshop was associated to IJCAR, which due to the COVID-19 cr isis is now held as a Virtual Conference. It is ou r feeling that a virtual meeting might not allow u s to fully reproduce the usual face-to-face networ king opportunities of our event. So, unfortunately , the ThEdu'20 had better be cancelled.
\n\n < p>The interest expressed for the workshop was such , that the PC decided to publish proceedings, in s pite of cancellation after IJCAR become virtual. T hanks to a decision of the EPTCS editorial board a dapting to the specific situation, the proceedings already received the approval to be published by EPTCS.\nWe welcome submissio n of full papers presenting original unpublished w ork which is not been submitted for publication el sewhere. All contributions will be reviewed (blind review) by three members of the PC for each submi ssion, to meet the high standards of EPTCS.
\n\ nTopics of interest include: methods of autom ated deduction applied to checking students' input ; methods of automated deduction applied to prove post-conditions for particular problem solut ions; combinations of deduction and computation en abling systems to propose next steps; automated pr overs specific for dynamic geometry systems; proof and proving in mathematics education.
\n