Amsterdam Time, UTC +1:00
Sunday, November 21th
09:00-10:30Session 1
| 09:00 | Welcome from the Chairs |
| 09:10 |
Tobias Nipkow
Keynote: Teaching Algorithms and Data Structures with a Proof Assistant [Video]
|
| 10:00 | Q&A [Video] |
| 10:10 |
Jørgen Villadsen, Frederik Krogsdal Jacobsen
Using Isabelle in Two Courses on Logic and Automated Reasoning [Video]
|
10:30-11:00FMTEA Break
11:00-12:30Session 2
| 11:00 |
Ran Ettinger
Lessons of Formal Program Design in Dafny [Video]
|
| 11:20 |
Nisansala Yatapanage
Introducing Formal Methods to Students who Hate Maths and Struggle with Programming [Video]
|
| 11:40 |
Luca Aceto, Anna Ingolfsdottir
Introducing Formal Methods to First-Year Students in Three Intensive Weeks [Video]
|
| 12:00 |
Livia Lestingi
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) [Video]
|
12:30-13:00 FMTea Break
13:00-14:30Session 3
| 13:00 |
Jeremy Avigad
Keynote: Teaching Logic and Mechanized Reasoning with Lean 4 [Video]
|
| 13:50 |
Q&A [Video]
|
| 14:00 |
Philipp Koerner, Sebastian Krings
Increasing Student Self-Reliance and Engagement in Model-Checking Courses [Video]
|
| 14:20 |
Norbert Hundeshagen, Martin Lange
A Proposal for a Framework to Accompany Formal Methods Learning Tools (Short Paper) [Video]
|
14:30-15:00FMTEA Break
15:00-16:00Session 4
| 15:00 |
Eduard Kamburjan, Lukas Grätz
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games [Video]
|
| 15:20 |
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer
Teaching Correctness-by-Construction and Post-hoc Verification -- The Online Experience [Video]
|
| 15:40 |
Matthias Güdemann
Online Teaching of Verification of C Programs in Applied Computer Science [Video]
|
16:00-16:30FMTEA Break
16:30-17:30Session 5