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/2021/newsitem/12567/11
 -July-2021-10th-International-Workshop-on-Theorem-
 Prover-Components-for-Educational-Software-ThEdu-2
 1-Virtual
DTSTAMP:20210319T000327
SUMMARY:10th International Workshop on Theorem Pro
 ver Components for Educational Software (ThEdu'21)
 , Virtual
DTSTART;VALUE=DATE:20210711
DTEND;VALUE=DATE:20210711
LOCATION:Virtual
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'21 will be virt
 ual as part of the 28th International Conference o
 n Automated Deduction (CADE-28), the exact details
  will be in the workshop Web-page as soon as possi
 ble. Invited Talk: Gilles Dowek, ENS Paris-Saclay.
   We welcome submission of extended abstracts and 
 demonstration proposals presenting original unpubl
 ished work which is not been submitted for publica
 tion elsewhere. All accepted extended abstracts an
 d demonstrations will be presented at the workshop
 . The extended abstracts will be made available on
 line. Extended abstracts and demonstration proposa
 ls should be approximately 5 pages in length and a
 re to be submitted in PDF format. At least one aut
 hor of each accepted extended abstract/demonstrati
 on proposal is expected to attend ThEdu'21 and pre
 sents his/her extended abstract/demonstration.  To
 pics 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 enab
 ling systems to propose next steps;   - automated 
 provers specific for dynamic geometry systems;   -
  proof and proving in mathematics education.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>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.</p>\n\n  <p>ThEdu'21 will be virtual as par
 t of the 28th International Conference on Automate
 d Deduction (CADE-28), the exact details will be i
 n the workshop Web-page as soon as possible. Invit
 ed Talk: Gilles Dowek, ENS Paris-Saclay.</p>\n</di
 v><div>\n  <p>We welcome submission of extended ab
 stracts and demonstration proposals presenting ori
 ginal unpublished work which is not been submitted
  for publication elsewhere. All accepted extended 
 abstracts and demonstrations will be presented at 
 the workshop. The extended abstracts will be made 
 available online. Extended abstracts and demonstra
 tion proposals should be approximately 5 pages in 
 length and are to be submitted in PDF format. At l
 east one author of each accepted extended abstract
 /demonstration proposal is expected to attend ThEd
 u'21 and presents his/her extended abstract/demons
 tration.</p>\n\n  <p>Topics of interest include:<b
 r>\n  &nbsp;- methods of automated deduction appli
 ed to checking students' input;<br>\n  &nbsp;- met
 hods of automated deduction applied to prove post-
 conditions for particular problem solutions;<br>\n
   &nbsp;- combinations of deduction and computatio
 n enabling systems to propose next steps;<br>\n  &
 nbsp;- automated provers specific for dynamic geom
 etry systems;<br>\n  &nbsp;- proof and proving in 
 mathematics education.</p>\n</div>
URL:http://www.uc.pt/en/congressos/thedu/ThEdu21
END:VEVENT
END:VCALENDAR