{"id":1355,"date":"2021-10-01T23:00:40","date_gmt":"2021-10-01T15:00:40","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1355"},"modified":"2021-11-26T09:57:00","modified_gmt":"2021-11-26T01:57:00","slug":"fmtea_cet","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/fmtea_cet\/","title":{"rendered":"FMTea Program"},"content":{"rendered":"
Amsterdam Time, UTC +1:00<\/span><\/h5>\n
Sunday, November 21th<\/div>\n
09:00-10:30<\/span>Session 1<\/span><\/div>\n\n\n\n
09:00<\/td>\nWelcome from the Chairs<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
09:10<\/td>\n\n
Tobias Nipkow<\/div>\n
Keynote: Teaching Algorithms and Data Structures with a Proof Assistant [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
10:00<\/td>\nQ&A [Video<\/span><\/a>]<\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n\n\n\n
10:10<\/td>\n\n
J\u00f8rgen Villadsen, Frederik Krogsdal Jacobsen<\/div>\n
Using Isabelle in Two Courses on Logic and Automated Reasoning [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n
10:30-11:00<\/span>FMTEA Break<\/span><\/div>\n
11:00-12:30<\/span>Session 2<\/span><\/div>\n\n\n\n
11:00<\/td>\n\n
Ran Ettinger<\/div>\n
Lessons of Formal Program Design in Dafny [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
11:20<\/td>\n\n
Nisansala Yatapanage<\/div>\n
Introducing Formal Methods to Students who Hate Maths and Struggle with Programming [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n\n\n\n
11:40<\/td>\n\n
Luca Aceto, Anna Ingolfsdottir<\/div>\n
Introducing Formal Methods to First-Year Students in Three Intensive Weeks [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
12:00<\/td>\n\n
Livia Lestingi<\/div>\n
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n
12:30-13:00\u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/span>FMTea Break<\/span><\/div>\n
13:00-14:30<\/span>Session 3<\/span><\/div>\n\n\n\n
13:00<\/td>\n\n
Jeremy Avigad<\/div>\n
Keynote: Teaching Logic and Mechanized Reasoning with Lean 4 [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
13:50<\/td>\n\n
Q&A [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
14:00<\/td>\n\n
Philipp Koerner, Sebastian Krings<\/div>\n
Increasing Student Self-Reliance and Engagement in Model-Checking Courses [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
14:20<\/td>\n\n
Norbert Hundeshagen, Martin Lange<\/div>\n
A Proposal for a Framework to Accompany Formal Methods Learning Tools (Short Paper) [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
14:30-15:00<\/span>FMTEA Break<\/span><\/div>\n
15:00-16:00<\/span>Session 4<\/span><\/div>\n\n\n\n
15:00<\/td>\n\n
Eduard Kamburjan, Lukas Gr\u00e4tz<\/div>\n
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
15:20<\/td>\n\n
Tobias Runge, Tabea Bordis, Thomas Th\u00fcm, Ina Schaefer<\/div>\n
Teaching Correctness-by-Construction and Post-hoc Verification -- The Online Experience [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
15:40<\/td>\n\n
Matthias G\u00fcdemann<\/div>\n
Online Teaching of Verification of C Programs in Applied Computer Science [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
16:00-16:30<\/span>FMTEA Break<\/span><\/div>\n
16:30-17:30<\/span>Session 5<\/span><\/div>\n
\n\n\n\n
16:30<\/td>\n\n
Laura Kov\u00e1cs<\/div>\n
Keynote: Automating Teaching Efforts for Deductive Verification [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
17:10<\/td>\n\n
Q&A [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
17:20<\/td>\n\n
Closing Remarks [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div><\/div><\/div>