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/2016/newsitem/7362/25- 29-July-2016-5th-International-Workshop-on-Theorem -proving-components-for-Educational-software-ThEdu -2016-Bialystock-Poland DTSTAMP:20160508T000000 SUMMARY:5th International Workshop on Theorem prov ing components for Educational software (ThEdu 201 6), Bialystock, Poland DTSTART;VALUE=DATE:20160725 DTEND;VALUE=DATE:20160729 LOCATION:Bialystock, Poland DESCRIPTION:This workshop intends to gather the re search communities for computer Theorem Proving (T P), Automated Theorem Proving (ATP), Interactive T heorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus sys tems of these areas to enhance existing educationa l software as well as studying the design of the n ext generation of mechanised mathematics assistant s (MMA). The workshop provides a meeting place f or educators and developers of educational mathema tics software and experts in TP. The discussions s hall clarify the requirements of education, identi fy advantages and promises of TP for learning and motivate development of such a novel kind of educa tional mathematical tools. For more information, see http://www.uc.pt/en/congressos/thedu/thedu16 We welcome submission of extended abstracts and d emonstration proposals presenting original unpubli shed work which is not been submitted for publicat ion elsewhere. Deadline for extended abstracts and proposals: 4. June 2016. X-ALT-DESC;FMTTYPE=text/html:
This workshop intends to gather the research communitie s for computer Theorem Proving (TP), Automated The orem Proving (ATP), Interactive Theorem Proving (I TP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these are as to enhance existing educational software as wel l as studying the design of the next generation of mechanised mathematics assistants (MMA).\n < /p>\n
The workshop provides a meeting plac e for educators and developers of\n educati onal mathematics software and experts in TP. The d iscussions\n shall clarify the requirements of education, identify advantages and\n pr omises of TP for learning and motivate development of such a novel\n kind of educational math ematical tools.\n
\n \n \n < p>For more information, see\n http://www.uc.pt/en/congressos/thedu/thedu 16\nWe welcome submission of extended abstracts and demonstratio n\n proposals presenting original unpubl ished work which is not been\n submitted for publication elsewhere.\n Deadline for extended abstracts and proposals: 4. June 2016.\n
\n