Theorem proving components for educational software

Call for Extended Abstracts & Demonstrations (2nd)
– – – – – – – – – –  – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
ThEdu’17
Theorem proving components for Educational software
6 August 2017
http://www.uc.pt/en/congressos/thedu/thedu17
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
at CADE26
International Conference on Automated Deduction
6-11 August 2017
Gothenburg, Sweden
http://www.cade-26.info/
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –

THedu’17 Scope:

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and
to discuss existing systems.

Invited Talk

Francisco Botana, University of Vigo, Spain, “Theorem Proving   Components in GeoGebra”

Important Dates

  • Extended Abstracts: 18 June 2017
  • Author Notification: 2 July 2017
  • Final Version: 16 July 2017
  • Workshop Day: 6 August 2017

Topics of interest include:

  • methods of automated deduction applied to checking students’ input;
  • methods of automated deduction applied to prove post-conditions for particular problem solutions;
  • combinations of deduction and computation enabling systems to  propose next steps;
  • automated provers specific for dynamic geometry systems;
  • proof and proving in mathematics education.

Submission

We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere.

All accepted extended abstracts and demonstrations will be presented at the workshop. The extended abstracts will be made available online.

Extended abstracts and demonstration proposals should be submitted via easychair,
https://easychair.org/conferences/?conf=thedu17
formatted according to
http://www.easychair.org/publications/easychair.zip

Extended abstracts and demonstration proposals should be approximately 5 pages in length and are to be submitted in PDF format.

At least one author of each accepted extended abstract/demonstration proposal is expected to attend THedu’17 and presents his/her extended abstract/demonstration.

Program Committee

Francisco Botana, University of Vigo at Pontevedra, Spain
Roman Hašek, University of South Bohemia, Czech Republic
Filip Maric, University of Belgrade, Serbia
Walther Neuper, Graz University of Technology, Austria (co-chair)
Pavel Pech, University of South Bohemia, Czech Republic
Pedro Quaresma, University of Coimbra, Portugal (co-chair)
Vanda Santos, CISUC, Portugal
Wolfgang Schreiner, Johannes Kepler University, Austria
Burkhart Wolff, University Paris-Sud, France

Proceedings

The extended abstracts and system descriptions will be published as a CISUC Technical Report series (ISSN 0874-338X). After presentation at the conference, selected authors will be invited to submit a substantially revised version, extended to 14-20 pages, for
publication by the Electronic Proceedings in Theoretical Computer Science (EPTCS).

Leave a Reply