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:<div>\n      <p>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      <p>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      </p>\n    \n      \n      <
 p>For more information, see\n        <a target="_b
 lank" href="http://www.uc.pt/en/congressos/thedu/t
 hedu16">http://www.uc.pt/en/congressos/thedu/thedu
 16</a>\n      </p>\n    </div><div>\n      <p>We w
 elcome submission of extended abstracts and demons
 tration\n           proposals presenting original 
 unpublished work which is not been\n           sub
 mitted for publication elsewhere.\n        Deadlin
 e for extended abstracts and proposals: 4. June 20
 16.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7362/25-
 29-July-2016-5th-International-Workshop-on-Theorem
 -proving-components-for-Educational-software-ThEdu
 -2016-Bialystock-Poland
END:VEVENT
END:VCALENDAR