Objectives and Scope

Teaching Formal Methods is an important aspect of the Formal Methods world, as it invests in the future of Formal Methods (FM). However, in many universities around the world, Formal Methods courses have decreased in number and/or content, have been transformed into (smaller) postgraduate courses, or have been kept only as self-study courses for truly motivated students. Even in universities where the courses have remained intact in the curriculum, the attendance and motivation of the students is sometimes challenging. This happens at the same time as the need for Formal Methods has in fact increased proportionally with the ubiquity of software and microchips in all aspects of our lives.

We need to find ways to teach Formal Methods to the next generation, but we obviously need to adapt our teaching to the 21st century’s students. We will explore these ideas in FMTea19, a combined workshop and tutorial associated with the 3rd World Congress on Formal Methods, FM2019. In the tutorial part of the event, we will have one invited speaker and several tutorial presentations held by members of the FME’s Teaching Committee. Our goal is to discuss various models of existing FM teaching, together with innovative proposals for remaining relevant as educators of Formal Methods in the 21st century.

In the workshop part of the event, we aim to attract papers detailing authors’ experiences with FM Teaching. We would like to get papers discussing successes and failures of various methods, case studies, tools, etc. As self-learning seems to be an important aspect of FM teaching, we appreciate experiences with online teaching. A more detailed list of topics of interest for the FMTea19 workshop is below:

  • traditional FM teaching: lectures, exercises, exams
  • online FM teaching/learning: experiences/proposals
  • teaching FM for industry
  • integrating/embedding FM teaching/thinking within other computer science courses
  • student projects on FM, including group projects

Computer science is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process.


FMTea19 is organised 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 started to collect a list of FM courses taught worldwide (https://github.com/luigiapetre/Formal-Methods-Courses/issues) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc.

Program Committee

  • Luigia Petre, Åbo Akademi University, Finland (co-chair)
  • Brijesh Dongol, University of Surrey, UK (co-chair)
  • Graeme Smith, University of Queensland, Australia (co-chair)
  • Catherine Dubois, ENSIIE, France
  • Joao F. Ferreira, University of Lisbon, Portugal
  • Bernd Fischer, Stellenbosch University, South Africa
  • K. Rustan M. Leino, Amazon Web Services, US
  • Alexandra Mendes, University of Beira Interior, Portugal
  • Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil
  • Pierluigi San Pietro, Politecnico di Milano, Italy
  • Kenji Taguchi, CAV, Japan

Previous Editions

Several events focused on teaching aspects for Formal Methods were held in the beginning of the 2000s: two BCS-FACS TFM workshops (Oxford in 2003 and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), and FMET 2008 (Kitakyushu 2008, co-located with ICFEM). The latest event was TFM2009, the 2nd International FME Conference on Teaching Formal Methods, in November 2009 in Eindhoven, the Netherlands.

Submission Information

FMTea19 invites high quality papers reporting on opinions, approaches, experiences, and empirical studies related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. The proceedings will be published as an LNCS volume, either as part of the FM Satellite Events LNCS proceedings or as a separate LNCS volume. (The exact nature of the proceedings will depend on the number of accepted papers.)

All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files; 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 in length. Submissions should be made using the FMTea19 Easychair web site: https://easychair.org/conferences/?conf=fmtea19 All accepted papers must be presented at the workshop. Their 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 FM2019 organizers, and present the paper.


  • May 15, 2019: Submission of papers
  • June 14, 2019: Notifications to authors
  • July 15, 2019: Proceedings version ready
  • October 7, 2019: FMTea19 in Porto