<div dir="ltr">[ Please distribute, apologies for multiple postings. ]<br><br>=========================================================<br><br>Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021)<br><br>21 November 2021, *online*<br><br>Co-located with the 24th International Symposium on Formal Methods, FM 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://fmtea.github.io</a><br><br>=========================================================<br><br><br>Invited Speakers<br>========================<br><br> - Tobias Nipkow (Technical University Munich, Germany)<br>   Provisional title: "Teaching Algorithms and Data Structures with a Proof Assistant"<br>   <br> - A second invited speaker will be announced soon!<br><br><br>Important Dates<br>========================<br><br> - 2 July 2021: Deadline for submission of papers (AoE)<br> - 2 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>FM 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" FM learning and teaching<br> - Experiences and proposals related with online FM learning and teaching<br> - Integrating/embedding FM teaching/thinking within other computer science courses<br> - Teaching FM for industry<br> - Innovative learning and teaching methods for FM<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 FM 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 FM case studies, FM 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 Mendes (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.<br></div>