Email Gateway (Mar 03 2026 at 18:23): Email Gateway (Mar 03 2026 at 18:23):From: Walther Neuper <cl-isabelle-users@lists.cam.ac.uk>
Call for extended abstracts and demonstrations
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.
Imortant Dates
Activities
ThEdu will have two kinds of activities:
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, 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 f 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.
Program Committee
Joao Marcos, Federal University of Rio Grande do Norte, Brazil
Julien Narboux, University of Strasbourg, France, (co-chair)
Walther Neuper, Johannes Kepler University, Linz, Austria (co-chair)
Pedro Quaresma, University of Coimbra, Portugal (co-chair)
Jim Portegies, Eindhoven University of Technology, Netherlands
Vanda Santos, University of Aveiro, Portugal
Wolfgang Schreiner, Johannes Kepler University, Austria
M. Pilar Velez, Nebrija University, Spain
Jorgen Villadsen, Technical University of Denmark, Denmark
Post-proceedings
We plan to publish post-proceedings for ThEdu'26 after the workshop after a second round of reviewing using EPCTS as in previous years. This will be discussed during the business meeting of ThEdu'26.
Last updated: Mar 14 2026 at 08:38 UTC