\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

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