# 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).