Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] ThEdu'25 Post Proceedings - Call for Papers

Email Gateway (Dec 16 2025 at 18:06):

From: Walther Neuper <cl-isabelle-users@lists.cam.ac.uk>

Open Call for Papers

Proceedings for ThEdu'25
Theorem Proving Components for Educational Software
https://www.uc.pt/events/thedu/thedu25/

to be published by EPTCS,
Electronic Proceedings in Theoretical Computer Science
https://published.eptcs.org

Synopsis:

The workshop ThEdu'25 happened on 2 August 2025, as a satellite event of CADE30. It was a very lively meeting. The programme was comprised of one invited talk, by Vesna Marinković, University of Belgrade, Serbia, as well as four regular contributions, whose abstracts and presentations may be found on the workshop's webpage.

Now the proceedings are being planned, intending to collect full versions of the contributed papers, as well as new contributions.

The contributions' range of topics is diverse, according to ThEdu's scope, and this is a call for papers, open to everyone, also those who did not participate in the workshop. All papers will undergo review according to the EPTCS standards.

ThEdu'25 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.

Topics of interest include:

• interactive and automated theorem provers designed or adapted for education;
• methods of automated deduction applied to checking students' input;
• combinations of deduction and computation enabling systems to propose next step guidance;
• combinations of symbolic artificial intelligence and machine learning for the teaching of proof and proving;
• design of libraries of statements and/or formal proofs for use in educational systems;
• graphical user interfaces for theorem proving in the classroom;

• specific systems integrated in educational components such as dynamic geometry software, automatic provers providing readable output or
  explicit counterexamples, etc.;

• the role of logic and formal systems in the didactics of proof and proving in mathematics education;

• experience reports about the use of automatic or interactive theorem provers for teaching;
• evaluation of the impact of intelligent tutoring systems for proof and proving;
• tools for educational activities in logic and formal methods.

Important Dates:

• Submission (full papers): 15 January 2026
• Notification of acceptance: 15 February 2026
• Revised papers due: 1 March 2026

Submission:

We welcome submission of full papers (12-20 pages) presenting original unpublished work that 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 author should comply with the EPTCS's "instructions for authors" (
https://info.eptcs.org/
), and accept the "Non-exclusive license to distribute" (
https://copyright.eptcs.org/
) and use the EPTCS's "LaTeX
Style" (
https://style.eptcs.org/
)

Papers should be submitted via EasyChair:
https://easychair.org/conferences?conf=thedu25postproc

Program Committee:

Julien Narboux, Université Paris Cité, France
Walther Neuper, Johannes Kepler University Linz, Austria
João Marcos, Universidade Federal de Santa Catarina, Brazil
Jim Portegies, Eindhoven University of Technology, Netherlands
Pedro Quaresma, University of Coimbra, Portugal
Vanda Santos, CIDTFF/CISUC, Portugal
Anders Schlichtkrull, Aalborg University, Denmark
Wolfgang Schreiner, Johannes Kepler University Linz, Austria
M. Pilar Velez, Universidad Antonio de Nebrija, Spain
Jørgen Villadsen, Technical University of Denmark, Denmark

Last updated: Dec 21 2025 at 20:24 UTC