Fifth Meeting (2019/10/06)


Present at the meeting: Catherine Dubois, Kristin Rozier, Alexandra Mendes, João Ferreira, Claudio Menghi, Klaus Havelund, Emil Sekerinski, Brijesh Dongol, Graeme Smith and Luigia Petre.

  1. We started by a round table introduction of everyone present
  • We briefly reviewed the slides previously distributed about the current vision of the application and the COST format
  • We checked the current version of the technical annex needed for submission (also previously distributed)
  • It might be the case that a new invitation will be sent for joining the application, since the network seems to have expired at the previous collection deadline (September 5)
  • We discussed the effort/benefit of pursuing the application, given that the acceptance rate is 11%. We agreed that this is about the rate of many serious funding foundations, and since the submission deadline is on April 29, we should be able to produce a successful application
  • The reviewing of the application will be performed by domain experts (in computer science/formal methods) but the decision is taken by science advisers from the European Commission, so we should make the impact clear
  • We need to propose measures/metrics that can quantify the success of our network. (A network has a timespan of 4 years). We thought about
    • the number of courses collected in the FME database (54 now)
    • the next editions of the FMTea workshop we had on Monday on formal methods teaching - it was a great success, 45 people registered, many more present at all times, 22 papers submitted and 14 accepted, 3 tutorials, an invited lecture (Carroll Morgan)
  • At the same time, the main goal of a successful COST application is to show that the proposed network will increase an important scientific/technological aspect of society. We start with the Formal Methods Body-of-Knowledge idea, which is envisioned to lead to formal methods researchers meeting up and creating new material where needed, streamline and refine existing approaches, etc
  • We agreed that sometime in November we will start circulating a version of the proposal and brainstorming ideas.
  • We will create a Google repository with all resources we gathered so far.

We then discussed the adding of various resources to the FME Teaching repository (, such as various tutorials given here during the FM week on various formal methods and tools as well as teaching resources for those of us who teach and need new ideas (midterms, exam questions, exercises, etc)

Formal Methods Teaching Committee

The aim of the FME Teaching Committee is to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.