16th International Workshop on Theorem proving components for Educational software.
https://theduworkshop.github.io/ThEduWebSite/#thedu26-presentation
ThEdu is open to all aspects of the design or use of logical tools (proof assistants, automated theorem provers, model checkers, model finders, rich type systems, property-based testing, and more) for education in science (especially in the teaching of logic, mathematics and computer science). This includes work about the design of tools and libraries for education, experience reports, and evaluation of their effectiveness for learning.
Activities
ThEdu will have two kinds of activities:
-
Regular paper presentations;
-
Demonstrations, where the presenters shows their tool to all the attendees
Submissions
In your submission, please make clear what kind of activity you are proposing.
Research Papers:
These should be in the usual form of a scientific paper. They must be original, unpublished work that has not been submitted for publication elsewhere. Accepted papers will receive a plenary presentation slot.
Repeat Papers:
These are about works strongly tied to the theme of the workshop that have already been published elsewhere, but would be of real interest to the attendees. These submissions will not become part of the formal academic record of the workshop; their only trace will be a listing in the program. Authors are therefore welcome to submit an already-published paper whose copyright they may or may not own. The submission should be preceded by a cover page that describes why this paper is relevant, and indicates where and when it was published. Accepted papers will receive a plenary presentation slot.
Plenary Demos:
These should describe the artifact (tool, website, etc.) to be demoed. The submission should explain what the presentation is likely to entail.
Novel submissions (excluding Repeat Papers) must be between 2 and 10 pages (excluding bibliography and potential appendices). Please use the EPCTS format as it is likely that it will be the format used for the extended papers for the Post-proceedings. Submission will be handled through FLoC’s submission system, and the deadline is 29 April 2026 (firm deadline imposed by FLoC). Please submit your work here: submissions.floc26.org/thedu/.
At least one of the authors of each accepted submission is expected to attend and present their work.