ThEdu'25 Programme

Invited Talk

Vesna Marinković, University of Belgrade, Serbia

tille: Automating Geometry Construction Problems

ThEdu'25 Programme
Hours Authors Title
1st session Chair: Julien Narboux ThEdu will join ADG for this session
9:00-10:00 Vesna Marinković Invited Talk: Automating Geometry Construction Problems
10:30--11:00 Coffee Break
2nd session Chair: Pedro Quaresma
11:00-11:30 Jelle Wemmenhove, Nick Hoofd, Alexander Schüler-Meyer and Jim Portegies Reinforcing Students' Proof Structure with Waterproof: An Analysis
11:30-12:00 Simone Heisinger, Katharina Blaimschein and Martina Seidl Evaluating LLMs on Formal Models Coursework
12:00--14:00 Lunch
3rd session Chair: Walther Neuper
14:00-14:30 Romain Sidhoum and Simon Robillard Teaching Automated Deduction: An Implementation-Based Approach with Maude
14:30-15:00 Jørgen Villadsen Teaching Axiomatic Systems and Metatheory in Isabelle
15:00-15:30 Business Meeting Chair: Jørgen Villadsen

List of Accepted Papers

Jelle Wemmenhove, Nick Hoofd, Alexander Schüler-Meyer and Jim Portegies, Reinforcing students’ proof structure with Waterproof: an analysis (105 kB)
Simone Heisinger, Katharina Blaimschein and Martina Seidl, Evaluating LLMs on Formal Models Coursework (137 kB)
Romain Sidhoum and Simon Robillard, Teaching Automated Deduction: an Implementation-Based Approach with Maude (143 kB)
Jørgen Villadsen, Teaching Axiomatic Systems and Metatheory in Isabelle (79 kB)

Presentations

Teaching Automated Deduction An Implementation-Based Approach with Maude, Romain Sidhoum and Simon Robillard, Université de Montpellier, France (260 kB)
Teaching Axiomatic Systems and Metatheory in Isabelle, Jørgen Villadsen, Technical University of Denmark (274 kB)
Invited Talk: Automating Geometry Construction Problems, Vesna Marinković, Faculty of Mathematics, University of Belgrade, Serbia (1 MB)