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
- Extended Abstracts 29 April 2026 (firm deadline imposed by FLoC)
- Author Notification 27 May 2026
- Workshop Early Registration Deadline 1 June 2026
- Workshop Day 19 July 2026
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, 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](https://style.eptcs.org/) 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](https://theduworkshop.github.io/ThEduWebSite/#proceedings). This will be
discussed during the business meeting of ThEdu'26.
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
