ThEdu post-proceedings were already approved as an EPTCS volume (2019/09/19).


                           Open Call for Papers
                         Post-proceedings ThEdu'19
            Theorem proving components for Educational software
                             Workshop ThEdu'19 at CADE27

THedu'19 Post-proceedings:

ThEdu's programme comprised one invited contribution and four regular contributions, whose abstract are in the workshop web-page. Now  postproceedings are planned to collect the contributions upgraded to full papers. The contributions' topics are diverse according to ThEdu's scope, and this is a call open for everyone, also those who did not participate in the  workshop. All papers will undergo review according to EPTCS standards.

THedu'19 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.

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.
Important Dates:
Call for papers:
16 Sep 2019
2nd call for papers: 14 Nov 2019
Submission (full papers):
18 Nov 2019 25 Nov 2019
Notification of acceptance: 16 Dec 2019
Revised papers due: 
20 Jan 2020

  We welcome submission of papers presenting original unpublished work which is not been submitted for publication elsewhere.

  The authors should comply with the "instructions for authors", LaTeX style files and accept the "Non-exclusive license to distribute" of EPTCS: Instructions for authors (http://info.eptcs.org/)  LaTeX style file and formatting instructions (http://style.eptcs.org/) Copyright (http://copyright.eptcs.org/)

  Papers should be submitted via easychair,  https://easychair.org/conferences/?conf=thedu19.

  In case the accepted contributions do not reach the standards of EPTCS in term of number of submission, there will be an alternative mean for the publication, it will be as a tech report at CISUC, https://www.cisuc.uc.pt/techreports.

Program Committee

  Francisco Botana, University of Vigo at Pontevedra, Spain
  João Marcos, Universidade Federal do Rio Grande do Norte, Brazil
  Filip Maric, University of Belgrade, Serbia
  Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil
  Walther Neuper, Graz University of Technology, Austria (co-chair)
  Pedro Quaresma, University of Coimbra, Portugal (co-chair)
  Philippe R. Richard, Université de Montréal, Canada
  Vanda Santos, University of Aveiro, Portugal
  Wolfgang Schreiner, Johannes Kepler University, Austria