<div dir="ltr"><div class="gmail-gs" style="margin:0px;padding:0px 0px 20px;width:2144px;font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"><div class="gmail-"><div id="gmail-:5aw" class="gmail-ii gmail-gt" style="font-size:0.875rem;direction:ltr;margin:8px 0px 0px;padding:0px"><div id="gmail-:5av" class="gmail-a3s gmail-aiL" style="overflow:hidden;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:small;line-height:1.5;font-family:Arial,Helvetica,sans-serif"><div><div style="border-left:none;padding:0px;display:flex"><div style="margin:0px;padding:0px 0px 20px;width:882.017px"><div><div id="gmail-m_7204939280219150613:s9" style="font-size:0.875rem;direction:ltr;margin:8px 0px 0px;padding:0px"><div id="gmail-m_7204939280219150613:s8" style="overflow:hidden;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:small;line-height:1.5"><div dir="ltr">[ Please distribute, apologies for multiple postings. ]<br><br></div><div dir="ltr">=========================================================<br><br>Call for Papers: Formal Methods Teaching Workshop and Tutorial (<span class="gmail-il">FMTea</span> 2021)<br><br>21 November 2021, *online*<br><br>Co-located with the 24th International Symposium on Formal Methods, <span class="gmail-il">FM</span> 2021<br><br><br>FMTea21 is a one-day combined workshop and tutorial that brings together<br>researchers and educators working on formal methods to share their experiences<br>in teaching formal methods, discuss key challenges, and stimulate collaboration<br>that can lead to ways to reboot the presence of formal methods in curricula.<br><br>FMTea21 will be an online event at the 24th International Symposium on Formal<br>Methods, FM2021. More details can be found on the workshop website:<br><br>                        <a href="https://fmtea.github.io/" target="_blank">https://<span class="gmail-il">fmtea</span>.github.io</a><br><br>=========================================================<br><br><br>Invited Speakers<br>========================<br><br> - Tobias Nipkow (Technical University Munich, Germany)<br>   "Teaching Algorithms and Data Structures with a Proof Assistant"<br></div><div dir="ltr"><br></div><div dir="ltr">- Jeremy Avigad (Carnegie Mellon University, USA)<br></div><div dir="ltr">  "Tutorial on the Lean Theorem Prover" <br></div><div dir="ltr"><br></div><div dir="ltr"> - Laura Kovacs (Vienna University of Technology, Austria)<br>   "Online teaching and examining in deductive verification and automated deduction"<br><br><br>Important Dates<br>========================<br><br> - 9 July 2021: Deadline for abstract submission (AoE)</div><div dir="ltr"> - 16 July 2021: Deadline for submission of papers (AoE)<br> - 9 August 2021: Notifications to authors<br> - 17 September 2021: Deadline for camera-ready version<br> - 21 November 2021: FMTea21 Workshop (online)<br><br><br>Objectives and Scope<br>========================<br><br>Formal Methods provide software engineering with tools and techniques for<br>rigorously reasoning about the correctness of systems. While in recent years<br>formal methods are increasingly being used in industry, university curricula are<br>not adapting at the same pace. Some existing formal methods classes interest and<br>challenge students, whereas others fail to ignite student motivation. It is thus<br>important to develop, share, and discuss approaches to effectively teach formal<br>methods to the next generations. This discussion is now more important than ever<br>due to the challenges and opportunities that arose from the pandemic, which<br>forced many educators to adapt and deliver their teaching online. Exchange of<br>ideas is critical to making these new online approaches a success and having a<br>greater reach.<br><br><br>Topics<br>========================<br><br>In the workshop part of the event, we welcome papers detailing experiences with<br><span class="gmail-il">FM</span> Teaching, including papers discussing successes and failures of various<br>methods, case studies, tools, etc. Given the increasing importance of online<br>teaching and self-learning, we also welcome reports of experiences with online<br>teaching, including experiences with teaching formal methods via MOOCs. We<br>invite novel papers that cover, but are not limited to, the following aspects:<br><br> - Experiences and proposals related with "traditional" <span class="gmail-il">FM</span> learning and teaching<br> - Experiences and proposals related with online <span class="gmail-il">FM</span> learning and teaching<br> - Integrating/embedding <span class="gmail-il">FM</span> teaching/thinking within other computer science courses<br> - Teaching <span class="gmail-il">FM</span> for industry<br> - Innovative learning and teaching methods for <span class="gmail-il">FM</span><br><br><br>Submission Details<br>========================<br><br>FMTea21 invites high quality papers reporting on opinions, approaches, and<br>experiences related to the topic of teaching Formal Methods. Each submitted<br>paper will be reviewed by at least three PC members. As in previous events, the<br>conference proceedings will be published in Springer's Lecture Notes in Computer<br>Science series. All submissions must be original, unpublished, and not submitted<br>for publication elsewhere. Submissions must be in PDF format, using the Springer<br>LNCS style files. Papers should not exceed 15 pages in length. Submissions<br>should be made using the FMTea21 Easychair web site:<br><br>                <a href="https://easychair.org/conferences/?conf=fmtea21" target="_blank">https://easychair.org/conferences/?conf=fmtea21</a><br><br>All accepted papers must be remotely presented at the workshop. Authors must be<br>prepared to sign a copyright transfer statement. At least one author of each<br>accepted paper must register to the conference by an early date, to be indicated<br>by the FM2021 organizers, and present the paper.<br><br><br>Organization<br>========================<br><br>FMTea21 is organized by FME’s Teaching Committee, whose broad aim is to support<br>a worldwide improvement in learning Formal Methods, mainly by teaching but also<br>via self-learning. To that end, the committee manages a list of <span class="gmail-il">FM</span> courses<br>taught worldwide (<a href="https://fme-teaching.github.io/" target="_blank">https://fme-teaching.github.io</a>) and plans to collect other<br>resources as well, such as <span class="gmail-il">FM</span> case studies, <span class="gmail-il">FM</span> inspirational papers, etc.<br><br><br>Program Committee<br>========================<br><br> - João F. Ferreira (co-chair), INESC-ID & IST, University of Lisbon, Portugal<br> - Alexandra <span class="gmail-il">Mendes</span> (co-chair), INESC TEC & University of Beira Interior, Portugal<br> - Claudio Menghi (co-chair), University of Luxembourg, Luxembourg<br> - Sandrine Blazy, University of Rennes 1, France<br> - Brijesh Dongol, University of Surrey, UK<br> - Catherine Dubois, ENSIIE, France<br> - Rustan Leino, Amazon Web Services, US<br> - José N. Oliveira, University of Minho, Portugal<br> - Luigia Petre, Åbo Akademi University, Finland<br> - Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil<br> - Kristin Rozier, Iowa State University, US<br> - Pierluigi San Pietro, Politecnico di Milano, Italy<br> - Emil Sekerinski, McMaster University, Canada<br> - Graeme Smith, The University of Queensland, Australia<br> - Kenji Taguchi, CAV, Japan<br><br><br>Contact<br>========================<br>All questions about submissions should be emailed to the chairs.</div></div></div></div></div></div><div class="gmail-adL"></div></div></div></div></div></div></div>