This uses cookies that do not gather any personal information whatsoever. By using this website, you agree with the cookie policy.
OK, I ACCEPT
Banner principal

ThEdu'24 - 2 of July, 2024

Satellite event at IJCAR 2024, Nancy, France, July 1-6, 2024

The 13th International Workshop on Theorem proving components for Educational software will be an workshop at CADE30, part of IJCAR 2024, Nancy, France, July 1-6, 2024.

Extended deadline: 17 April 2024

The Registration at ThEdu is made via IJCAR - here

(Workshop Day, 125€ - IJCAR2024+Workshops (2 days), Regular 725€; Student 525€)


Invited Speaker
   Jeremy Avigad, Carnegie Mellon University, Teaching with Lean

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 the new software generation and to discuss existing systems.

Topics of interest include:

  • Mechanical reasoning applied to generating exercises, checking students’ input or bringing feedback (next-step guidance, counter-examples finding, ...).
  • Interactive and automated theorem provers designed or adapted for education.
  • Combination of symbolic and non-symbolic artificial intelligence methods for the teaching and learning of mathematics.
  • Design of libraries of statements and/or formal proofs for use in educational systems.
  • Graphical or textual user interfaces for theorem provers adapted or designed for use in the classroom.
  • Automatic and interactive theorem prover with natural language input or output.
  • Integration of interactive and automated theorem proving with dynamic geometry software.
  • Evaluation of the impact of the use of these systems on teaching, student learning and student perception of proofs.
  • Experience reports about the use of mechanical reasoning systems for teaching.