Program
Welcome to WAIT2024! Below is the schedule for the day.
Registration (08:30 - 09:00)
Session 1 (09:00 - 10:30)
- Session Chair Dr. Sorin Stratulat
- Invited Talk (9:00 - 10:00)
- Title: “Gauging the strength of inductive theorem provers”
- Slides: here
- Speaker: Dr. Stefan Hetzl from the Vienna University of Technology
- Contributed Talk (10:00 - 10:30)
- Title: “Lemma Discovery and Strategies for Automated Induction”
- Speaker: Ms. Sólrún Einarsdóttir from Chalmers University of Technology
- Slides: here
Coffee Break (10:30 - 11:00)
Session 2 (11:00 - 12:30)
- Session Chair Dr. Yutaka Nagashima
- Invited Talk (11:00 - 12:00)
- Title: “Coinductive Reasoning in Isabelle/HOL”
- Based on the speaker’s forthcoming book “Proof Assistants and Their Applications in Mathematics and Computer Science”.
- Isabelle file used in the demo: here
- Isabelle file (full): here
- Speaker: Prof. Dmitriy Traytel from the University of Copenhagen
- Contributed Talk (12:00 - 12:30)
- Title: “Induction for Program Equivalence”
- Slides: here
- Speaker: Dr. Mikoláš Janota from Czech Technical University in Prague
Lunch Break (12:30 - 14:00)
Session 3 (14:00 - 16:00)
- Session chair: Dr. Stefan Hetzl
- Tutorial (14:00 - 16:00)
- Title: “Induction in Saturation-Based Proving”
- Slides: here
- Speakers: Prof. Andrei Voronkov from the University of Manchester and Dr. Petra Hozzová from the Vienna University of Technology
Coffee Break (16:00 - 16:30)
Session 4 (16:30 - 18:00)
- Contributed Talk (16:30 - 17:00)
- Panel Discussion (17:00 - 18:00)