BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2020/newsitem/11606/29 -June-2020-9th-International-Workshop-on-Theorem-P rover-Components-for-Educational-Software-ThEdu-20 -Proceedings-only DTSTAMP:20200213T161200 SUMMARY:9th International Workshop on Theorem Prov er Components for Educational Software (ThEdu'20) , Proceedings only DTSTART;VALUE=DATE:20200629 DTEND;VALUE=DATE:20200629 LOCATION:Proceedings only DESCRIPTION:Computer Theorem Proving is becoming a paradigm as well as a technological base for a ne w generation of educational software in science, t echnology, engineering and mathematics. The worksh op was to bring together experts in automated dedu ction with experts in education in order to furthe r clarify the shape of the new software generation and to discuss existing systems. The ThEdu'20 wo rkshop was associated to IJCAR, which due to the C OVID-19 crisis is now held as a Virtual Conference . It is our feeling that a virtual meeting might n ot allow us to fully reproduce the usual face-to-f ace networking opportunities of our event. So, unf ortunately, the ThEdu'20 had better be cancelled. The interest expressed for the workshop was such, that the PC decided to publish proceedings, in sp ite of cancellation after IJCAR become virtual. Th anks to a decision of the EPTCS editorial board ad apting to the specific situation, the proceedings already received the approval to be published by E PTCS. We welcome submission of full papers presen ting original unpublished work which is not been s ubmitted for publication elsewhere. All contributi ons will be reviewed (blind review) by three membe rs of the PC for each submission, to meet the high standards of EPTCS. Topics of interest include: methods of automated deduction applied to checking students' input; methods of automated deduction applied to prove post-conditions for particular pr oblem solutions; combinations of deduction and com putation enabling systems to propose next steps; a utomated provers specific for dynamic geometry sys tems; proof and proving in mathematics education. X-ALT-DESC;FMTTYPE=text/html:
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.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.