[ThEdu] ThEdu'26 cfp

[Pedro Quaresma <pedro@mat.uc.pt>]

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.

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 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.

-- 

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

PhD Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
Largo D. Dinis
3000-143 COIMBRA, PORTUGAL
Elec. mail: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568