THedu'12 TP components for educational software: CfP

1 May 2012


              TP components for educational software
                           11 July 2012

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

THedu'12 Scope

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 mechanized mathematics assistants (MMA). Elements for next-generation MMA's include:

  • Declarative Languages for Problem Solution

  • Consistent Mathematical Content Representation

  • User-Guidance in Stepwise Problem Solving

In principle, mathematical software can be conceived as models of mathematics: The challenge addressed by this workshop series is to provide appealing models for MMAs which are interactive and which explain themselves such that interested students can independently learn by inquiry and experimentation.

Important Dates (by easychair)

  • Extended Abstracts/Demo proposals: 01 May 2012
  • Author Notification: 01 Jun 2012
  • Final Version: 15 Jun 2012
  • Worshop Day: 11 Jul 2012


We welcome submission of proposals to present a demo, as well as submissions of extended abstracts (8 pages max) presenting original unpublished work which is not been submitted for publication elsewhere.

Selected extended abstracts will appear in CISUC Technical Report series (ISSN 0874-338X, [1]). All accepted extended abstracts and system demos will be presented at the workshop, and the extended abstracts will be made available online. A publication post-proceedings (papers, 15 pages max) under EPTCS is under consideration.

Extended abstracts and demo proposals should be submitted via THedu'12 easychair [2].

Extended abstracts should be no more than 8 pages in length and are to be submitted in PDF format. They must conform to the EPTCS style guidelines [3].

At least one author of each accepted extended abstract/demo is expected to attend THedu'12 and presents her or his extended abstract/demo.

[1] [2] [3] http://