Please note that this newsitem has been archived, and may contain outdated information or links.
25-29 July 2016, 5th International Workshop on Theorem proving components for Educational software (ThEdu 2016), Bialystock, Poland
This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), 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 areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).
The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.
For more information, see http://www.uc.pt/en/congressos/thedu/thedu16
We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere. Deadline for extended abstracts and proposals: 4. June 2016.
Please note that this newsitem has been archived, and may contain outdated information or links.