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.
