Event affiliated with FM 2024, the 26th International Symposium on Formal Methods
Invited speaker
TBA.Registration
Registration details at the main FM 2024 conference site.Formal methods originated as a means for the rigorous construction of software systems. While formal methods are increasingly being used in industry in recent years, 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. In particular, after the pandemic, student engagement has not returned to the status quo ante. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations.
We envision this event as a one-day combination of keynote and workshop presentations, where various models of teaching are presented and explored, together with innovative approaches relevant to educators of Formal Methods in the 21st century.
FMTea'24 is organized by FME’s Teaching Committee. Our broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, we have already gathered a list of FM courses taught worldwide (https://fme-teaching.github.io) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. Furthermore, the FME Teaching Committee coordinates a tutorial series held online. Tutorials are collected on the FME Teaching Committee website (https://fme-teaching.github.io/).
The first FMTea event was FMTea 2019, the Formal Methods Teaching Workshop and Tutorial, in October 2019 in Porto, Portugal, affiliated with the 3rd World Congress on Formal Methods (FM19) with proceedings as Springer LNCS 11758. Website: https://fmtea.github.io/FMTea19/
The FMTea21 workshop, affiliated with FM 2021, the 24th International Symposium on Formal Methods, Beijing, was held only online in November 2021, with proceedings published as Springer LNCS 13122. Website: https://fmtea.github.io/FMTea21/
The FMTea23 workshop, affiliated with FM 2023, the 25th International Symposium on Formal Methods, Lübeck, was held on in March 2023, with proceedings published as Springer LNCS 13962. Website: https://fmtea.github.io/FMTea23/
Several other events focused on teaching aspects for Formal Methods were held in the beginning of the 2000s:
FMTea'24 invites high-quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. We aim to attract papers detailing authors’ experiences with FM Teaching. We welcome papers discussing the successes and failures of various methods, case studies, tools, etc. As self-learning is an emerging aspect of formal methods, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs. A non-exhaustive list of topics of interest for the FMTea'24 workshop is below:
Software development is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process.
Submission Details
Each submitted paper will be reviewed by at least three PC members. All submissions must be original, unpublished, and not submitted for publication elsewhere.
The proceedings of the previous editions were published in the Formal Methods Teaching series of Springer’s Lecture Notes in Computer Science, https://link.springer.com/conference/tfm. We are exploring an open-access publication and expect to make an announcement shortly.
Tentative:Submissions must be in PDF format, using the Springer LNCS style files (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). We suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Papers should not exceed 15 pages (including references) in length. Submissions should be made using the FMTea 2024 Easychair web site:
https://easychair.org/conferences/?conf=fmtea2024
All accepted papers must be presented at the workshop. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM 2024 organizers, and present the paper.
Important Dates