Email Gateway (Aug 30 2026 at 10:33): Email Gateway (Aug 30 2026 at 10:33):From: Walther Neuper <cl-isabelle-users@lists.cam.ac.uk>
Open Call for Papers
Proceedings for ThEdu'26
Theorem Proving Components for Educational Software
https://theduworkshop.github.io/ThEduWebSite/#thedu26
to be published by EPTCS,
Electronic Proceedings in Theoretical Computer Science
https://published.eptcs.org
The ThEdu’26 workshop took place on 29 July 2026 as a satellite event to
FLoC in Lisbon. It was an event featuring ten presentations that captured
the audience’s interest and sparked lively discussions.
As in previous years, we would therefore like to encourage the speakers at
ThEdu’26 to expand their extended abstracts into full papers –
*** and we warmly invite anyone interested in the topic who was unable to
attend ThEdu’26 to publish their full paper in the post-proceedings.
All papers will be peer-reviewed in accordance with EPTCS standards ***
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. AI is raising new questions in the field of education,
particularly in maths teaching and in software supporting it.
combinations of deduction, computation and artificial intelligence
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 -- as opposed to artificial intelligence
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.
We welcome submission of full papers (12-20 pages) presenting original
unpublished work or significant extensions of contributions to ThEdu which
are 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=thedu26postproceedin
Program Committee
João Marcos, Universidade Federal de Santa Catarina, Brazil
Julien Narboux, Université Paris Cité, France
Walther Neuper, Johannes Kepler University Linz, Austria
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: Sep 02 2026 at 16:10 UTC