\n

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.\n

URL:http://www.uc.pt/en/congressos/thedu/thedu20
END:VEVENT
END:VCALENDAR
We welcome submission of full papers presenting original unpublished wor k which is not been submitted for publication else where. All contributions will be reviewed (blind r eview) by three members of the PC for each submiss ion, to meet the high standards of EPTCS.

\n\nTopics of interest include: methods of automat ed deduction applied to checking students' input;& nbsp; methods of automated deduction applied to pr ove post-conditions for particular problem solutio ns; combinations of deduction and computation enab ling systems to propose next steps; automated prov ers specific for dynamic geometry systems; proof a nd proving in mathematics education.