{"id":1239,"date":"2021-10-01T10:52:41","date_gmt":"2021-10-01T02:52:41","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1239"},"modified":"2021-11-26T09:33:09","modified_gmt":"2021-11-26T01:33:09","slug":"fmtea_program_cst","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/fmtea_program_cst\/","title":{"rendered":"FMTea Program"},"content":{"rendered":"
Beijing Time, UTC +8:00<\/span><\/h5>\n
Sunday, November 21th<\/div>\n
16:00-17:30<\/span>Session 1<\/span><\/div>\n\n\n\n
16:00<\/td>\nWelcome from the Chairs<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
16: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
17:00<\/td>\nQ&A [Video<\/span><\/a>]<\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n\n\n\n
17: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
17:30-18:00<\/span>FMTEA Break<\/span><\/div>\n
18:00-19:30<\/span>Session 2<\/span><\/div>\n\n\n\n
18: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
18:20<\/td>\n\n
\n
Nisansala Yatapanage<\/div>\n
Introducing Formal Methods to Students who Hate Maths and Struggle with Programming [Video<\/span><\/a>]<\/strong><\/div>\n<\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
18: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
19: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
19:30-20:00\u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/span>FMTea Break<\/span><\/div>\n
20:00-21:30<\/span>Session 3<\/span><\/div>\n\n\n\n
20: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
20:50<\/td>\n\n
Q&A [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
21: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
21: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
21:30-22:00<\/span>FMTEA Break<\/span><\/div>\n
22:00-23:00<\/span>Session 4<\/span><\/div>\n\n\n\n
22: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
22: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
22: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
23:00-23:30<\/span>FMTEA Break<\/span><\/div>\n
23:30-00:30<\/span>Session 5<\/span><\/div>\n
\n\n\n\n
23: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
00:10<\/td>\n\n
Q&A [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
00:20<\/td>\n\n
Closing Remarks [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n
<\/h5>\n
<\/h5>\n<\/div><\/div><\/div>