CFP: THedu'13 TP components for educational software

2nd Call for Extended Abstracts

                              THedu'13
                TP components for educational software
                (http://www.uc.pt/en/congressos/thedu)

                         Co-located with CICM 2013
              Conferences on Intelligent Computer Mathematics
                            8.-12. July 2013
                               Bath, UK
             http://www.cicm-conference.org/2013/cicm.php

THedu'13 Scope

THedu is a forum to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP) as well as for Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas and to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants.

Important Dates:

• Extended Abstracts: 06 May 2013
• Author Notification: 03 Jun 2013
• Final Version: 15 Jun 2013
• Workshop Day: (still to be defined, 8-12 July)
• Postproceedings(EPTCS): 15 October 2013

(https://www.easychair.org/conferences/?conf=thedu13)