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/2022/newsitem/13328/11 -August-2022-11th-International-Workshop-on-Theore m-Proving-Components-for-Educational-Software-ThEd u-22-Haifa-Israel DTSTAMP:20220117T142450 SUMMARY:11th International Workshop on Theorem-Pro ving Components for Educational Software (ThEdu'22 ), Haifa, Israel DTSTART;VALUE=DATE:20220811 DTEND;VALUE=DATE:20220811 LOCATION:Haifa, Israel 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 brings together experts in automated deduction with experts in education in order to further clar ify the shape of the new software generation and t o discuss existing systems. ThEdu'22 will be a sa tellite workshop of FLoC 2022. Invited Speakers: T hierry Dana-Picard, Yoni Zohar. We welcome submis sion of extended abstracts and demonstration propo sals presenting original unpublished work which is not been submitted for publication elsewhere. All accepted extended abstracts and demonstrations wi ll be presented at the workshop. The extended abst racts will be made available online. Extended abst racts and demonstration proposals should be 5 page s (+|-1) in length and are to be submitted in PDF format. At least one of the authors of each accept ed extended abstract/demonstration proposal is exp ected to attend ThEdu'22 and presents their extend ed abstract/demonstration. Topics of interest inc lude:   - methods of automated deduction applied to checking students' input;   - methods of autom ated deduction applied to prove post-conditions  f or particular problem solutions;   - combinations of deductive and computerized enabling systems to propose next steps;   - automated provers specif ic for dynamic geometry systems;   - proofs and p roving in mathematics education. X-ALT-DESC;FMTTYPE=text/html:
\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 brings together ex perts in automated deduction with experts in educa tion in order to further clarify the shape of the new software generation and to discuss existing sy stems.

\n\n

ThEdu'22 will be a satellite wo rkshop of FLoC 2022. Invited Speakers: Thierry Dan a-Picard, Yoni Zohar.

\n
\n

We we lcome submission of extended abstracts and demonst ration proposals presenting original unpublished w ork which is not been submitted for publication el sewhere. All accepted extended abstracts and demon strations will be presented at the workshop. The e xtended abstracts will be made available online. E xtended abstracts and demonstration proposals shou ld be 5 pages (+|-1) in length and are to be submi tted in PDF format. At least one of the authors of each accepted extended abstract/demonstration pro posal is expected to attend ThEdu'22 and presents their extended abstract/demonstration.

\n\n

Topics of interest include:
\n   - metho ds of automated deduction applied to checking stud ents' input;
\n   - methods of automated deduction applied to prove post-conditions  f or particular problem solutions;
\n   - c ombinations of deductive and computerized enabling systems to propose next steps;
\n   - au tomated provers specific for dynamic geometry syst ems;
\n   - proofs and proving in mathema tics education.

\n
URL:https://www.uc.pt/en/congressos/thedu/ThEdu22 END:VEVENT END:VCALENDAR