ThEdu'21: Theorem Proving Components for Educational Software CADE-28, at Carnegie Mellon University Pittsburgh, PA, United States, December 12, 2021 |
Conference website | https://www.uc.pt/en/congressos/thedu/ThEdu21 |
Submission link | https://easychair.org/conferences/?conf=thedu21 |
Conference program | https://easychair.org/smart-program/CADE-28/ |
Submission deadline | October 10, 2021 |
Notification of acceptance | November 28, 2021 |
Revised papers | December 12, 2021 |
Synopsis
ThEdu'21 happened as a workshop at CADE28 (the 28th International Conference on Automated Deduction, 11-16 July 2021). Because of the COVID-19 pandemic, CADE28 and all its workshops were held as remote events. It was a very lively virtual meeting with an average of 18 attendees. ThEdu'21 programme comprised one invited talk, 11 regular contributions and one demonstration, whose abstracts, presentations and videos are in the workshop web-page.
Now, post-proceedings 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'21 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. This volume of EPTCS intends to bring 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.
List of Topics
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 Guidelines
We welcome submission of full papers (12-20 pages) presenting original unpublished work which is not being submitted for publication elsewhere.
All contributions will be reviewed (at least three blind reviews) to meet the high standards of EPTCS.
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; LaTeX style file and formatting instructions; Copyright
Papers should be submitted via EasyChair.
Program Committee
- Pedro Quaresma, University of Coimbra, Portugal (co-chair)
- Walther Neuper, Graz University of Technology, Austria (co-chair)
- João Marcos, Federal University of Rio Grande do Norte, Brazil (co-chair)
- Francisco Botana, University of Vigo at Pontevedra, Spain
- David Cerna, Johannes Kepler University, Austria
- Filip Marić, University of Belgrade, Serbia
- Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil
- Philippe R. Richard, Université de Montréal, Canada
- Vanda Santos, University of Aveiro, Portugal
- Wolfgang Schreiner, Johannes Kepler University, Austria
- Jørgen Villadsen, Technical University of Denmark, Denmark