THedu'12 - Call For Papers

Publication Date: 2012-04-18 16:40:14

Workshop at CICM 2012
Conferences on Intelligent Computer Mathematics
9-14 July 2012
Jacobs University, Bremen, Germany

THedu'12 - TP components for educational software 2nd CALL FOR PAPERS
This workshop intends 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 workshop tries 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).
Important Dates
  •     01 May 2012 * Extended Abstracts/Demo proposals  
  •     01 Jun 2012 * Author Notification                
  •    15 Jun 2012 * Final Version
  •    11 Jul 2012 * Worshop Day
  •    31 Aug 2012 * Full papers (EPTCS post-proceedings)