---------- Forwarded message --------- Open Call for Papers ************************************************************************** Proceedings for ThEdu'25 Theorem Proving Components for Educational Software https://www.uc.pt/events/thedu/thedu25/ ************************************************************************** to be published by EPTCS, Electronic Proceedings in Theoretical Computer Science https://published.eptcs.org **************************************************************************
Synopsis The workshop ThEdu'25 happened on 2 August 2025, as a satellite event of CADE30. It was a very lively meeting. The programme was comprised of one invited talk, by Vesna Marinković, University of Belgrade, Serbia, as well as four regular contributions, whose abstracts and presentations may be found on the workshop's webpage. Now the proceedings are being planned, intending to collect full versions of the contributed papers, as well as new contributions. The contributions' range of topics is diverse, according to ThEdu's scope, and this is a call for papers, open to everyone, also those who did not participate in the workshop. All papers will undergo review according to the EPTCS standards. ThEdu'25 Scope: 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. Topics of interest include: * interactive and automated theorem provers designed or adapted for education; * methods of automated deduction applied to checking students' input; * combinations of deduction and computation 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; * 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. Important Dates * Submission (full papers): 15 January 2026 * Notification of acceptance: 15 February 2026 * Revised papers due: 1 March 2026 Submission We welcome submission of full papers (12-20 pages) presenting original unpublished work that is 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=thedu25postproc Program Committee Julien Narboux, Université Paris Cité, France Walther Neuper, Johannes Kepler University Linz, Austria João Marcos, Universidade Federal de Santa Catarina, Brazil 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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhPWksHj19Khx5%2BLYOenP-KBEHpR8KZEsyTrAJkNJog1Q%40mail.gmail.com.
