{"id":1356,"date":"2021-10-01T23:02:31","date_gmt":"2021-10-01T15:02:31","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1356"},"modified":"2021-11-26T09:54:44","modified_gmt":"2021-11-26T01:54:44","slug":"fmtea_est","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/fmtea_est\/","title":{"rendered":"FMTea Program"},"content":{"rendered":"
San Francisco Time, UTC -8:00<\/span><\/h5>\n
Sunday, November 21th<\/div>\n
00:00-01:30<\/span>Session 1<\/span><\/div>\n\n\n\n
00:00<\/td>\nWelcome from the Chairs<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
00: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
01:00<\/td>\nQ&A [Video<\/span><\/a>]<\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n\n\n\n
01: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
01:30-02:00<\/span>FMTEA Break<\/span><\/div>\n
02:00-03:30<\/span>Session 2<\/span><\/div>\n\n\n\n
02:00<\/td>\n\n
\n
Ran Ettinger<\/div>\n
Lessons of Formal Program Design in Dafny [Video<\/span><\/a>]<\/strong><\/div>\n<\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
02: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
02: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
03: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
03:30-04:00\u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/span>FMTea Break<\/span><\/div>\n
04:00-05:30<\/span>Session 3<\/span><\/div>\n\n\n\n
04: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
04:50<\/td>\n\n
Q&A [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
05: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
05: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
05:30-06:00<\/span>FMTEA Break<\/span><\/div>\n
06:00-07:00<\/span>Session 4<\/span><\/div>\n\n\n\n
06: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
06: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
06: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
07:00-07:30<\/span>FMTEA Break<\/span><\/div>\n
07:30-08:30<\/span>Session 5<\/span><\/div>\n
\n\n\n\n
07: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
08:10<\/td>\n\n
Q&A [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
08:20<\/td>\n\n
Closing Remarks [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n
<\/h5>\n<\/div><\/div><\/div>