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