posted by organizer: asfmendes || 1164 views || tracked by 1 users: [display]

FMTea21 2021 : Formal Methods Teaching Workshop and Tutorial 2021 (Online)


When Nov 21, 2021 - Nov 21, 2021
Where Online
Abstract Registration Due Jul 9, 2021
Submission Deadline Jul 16, 2021
Notification Due Aug 9, 2021

Call For Papers

Co-located with the 24th International Symposium on Formal Methods, FM 2021

FMTea21 is a one-day combined workshop and tutorial that brings together researchers and educators working on formal methods to share their experiences in teaching formal methods, discuss key challenges, and stimulate collaboration that can lead to ways to reboot the presence of formal methods in curricula.

FMTea21 will be an *online* event. More details can be found on the workshop website:

- Tobias Nipkow (Technical University Munich, Germany). Provisional title: "Teaching Algorithms and Data Structures with a Proof Assistant"
- A second invited speaker will be announced soon!

- *9 July 2021 AoE*: Deadline for abstract submission
- *16 July 2021 AoE*: Deadline for submission of papers (Anywhere on Earth:
- 9 August 2021: Notifications to authors
- 17 September 2021: Deadline for camera-ready version
- 21 November 2021: FMTea21 Workshop (online)

Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations. This discussion is now more important than ever due to the challenges and opportunities that arose from the pandemic, which forced many educators to adapt and deliver their teaching online. Exchange of ideas is critical to making these new online approaches a success and having a greater reach.

In the workshop part of the event, we welcome papers detailing experiences with FM Teaching, including papers discussing successes and failures of various methods, case studies, tools, etc. Given the increasing importance of online teaching and self-learning, we also welcome reports of experiences with online teaching, including experiences with teaching formal methods via MOOCs. We invite novel papers that cover, but are not limited to, the following aspects:
-Experiences and proposals related with "traditional" FM learning and teaching
-Experiences and proposals related with online FM learning and teaching
-Integrating/embedding FM teaching/thinking within other computer science courses
-Teaching FM for industry
-Innovative learning and teaching methods for FM

FMTea21 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. As in previous events, the conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files ( Papers should not exceed 15 pages in length. Submissions should be made using the FMTea21 Easychair web site:

All accepted papers must be remotely presented at the workshop. Authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2021 organizers, and present the paper.

FMTea21 is organized by FME’s Teaching Committee, whose broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, the committee manages a list of FM courses taught worldwide ( and plans to collect other resources as well, such as FM case studies, FM inspirational papers, etc.

João F. Ferreira (co-chair), INESC-ID & IST, University of Lisbon, Portugal
Alexandra Mendes (co-chair), INESC TEC & University of Beira Interior, Portugal
Claudio Menghi (co-chair), University of Luxembourg, Luxembourg
Sandrine Blazy, University of Rennes 1, France
Brijesh Dongol, University of Surrey, UK
Catherine Dubois, ENSIIE, France
Rustan Leino, Amazon Web Services, US
José N. Oliveira, University of Minho, Portugal
Luigia Petre, Åbo Akademi University, Finland
Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil
Kristin Rozier, Iowa State University, US
Pierluigi San Pietro, Politecnico di Milano, Italy
Emil Sekerinski, McMaster University, Canada
Graeme Smith, The University of Queensland, Australia
Kenji Taguchi, CAV, Japan

Related Resources

ICFEM 2024   International Conference on Formal Engineering Methods
SBMF 2024   27th Brazilian Symposium on Formal Methods
CSL 2025   Computer Science Logic
DSA 2024   5th International Conference on Data Science and Applications
VSTTE 2024   Verified Software: Theories, Tools, Experiments
7FMA 2024   7th International Symposium Formal Methods in Architecture
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
VORTEX 2024   Verification and Monitoring at Runtime Execution 2024
FACS 2024   20th International Conference on Formal Aspects of Component Software