\n

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\n \n\n

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
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

\n