ThEdu'23 Call for papers

         Call for Extended Abstracts & Demonstrations

    ThEdu'24

      Theorem proving components for Educational software

 2 July 2024

          http://www.uc.pt/en/congressos/thedu/ThEdu24

 at IJCAR 2024

July 1-6, 2024

Nancy, France

THedu'24 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. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of a new software generation and to discuss existing systems.    

Important Dates

•  Extended Abstracts: 10 April 2024
• Author Notification: 8 May 2024
• Workshop Day: 2 July 2024

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;
• combination 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 counter examples, etc.;
• the role of logic and formal systems in the didactic of proof and proving in mathematics education;
•  experience reports about the use of automatic or interactive theorem provers for teaching.

Submission

 We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere.  

All accepted extended abstracts and demonstrations will be presented at the workshop. Abstracts will be made available online.  

Extended abstracts and demonstration proposals should be submitted via easychair, https://easychair.org/conferences/?conf=thedu24 formatted according to http://www.easychair.org/publications/easychair.zip  

Extended abstracts and demonstration proposals should be 5-10 pages in length and are to be submitted in PDF format. 

At least one of the authors of each accepted extended abstract/demonstration proposal is expected to attend THedu'24 and presents their extended abstract/demonstration.

Program Committee

• Joao Marcos, Federal University of Rio Grande do Norte, Brazil 
• Filip Maric, University of Belgrade, Serbia
• 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)
• Philppe R. Richard, University of Montréal, Canada
• Vanda Santos, University of Aveiro, Portugal
• Anders Schlichtkrull, Aalborg University, Denmark
• Wolfgang Schreiner, Johannes Kepler University, Austria
• Athina Thoma, University of Southampton, UK
• M. Pilar Velez, Nebrija University, Spain
• Jorgen Villadsen, Technical University of Denmark, Denmark
• Kitty Yan, University of Toronto, Canada

Proceedings

  Abstracts and system descriptions will be available in ThEdu'24 Web-wage. After the Workshop an open call for papers will be issued. It is expected that authors of accepted extended abstract can submit a substantially revised version, extended to 14-20 pages, for publication by the Electronic Proceedings in Theoretical Computer Science (EPTCS).