Meetings

Present at the meeting: Kenji, Graeme, Catherine, Brijesh, Alexandra, Joao, Leila, Luigia Minutes Teaching Committee so far: FME has changed the rules of its committees, the length of one term is now 3 years and we are now in our second term. In the summer of 2023, there will be a question of whether we continue in this team or not - we will wonder when it comes. Here is what we have achieved so far (in the meeting we agreed on these contributions): FMTea workshop –> we revived it and it goes very nicely the Formal Methods courses database –> as above we have a nice webpage where we collected many of our thoughts about what this committee should be working on we have applied (unsuccessfully so far) to a COST action Related to the FME rules, they (vaguely) suggest there should be 4 meetings per year, and we had in average 2 meetings per year, so we might meet once per season if everyone is ok with it

Present at the meeting: Klaus, Claudio, Rustan, Leila, Catherine, Graeme, Brijesh, Pierluigi, Luigia On the agenda: FMTea workshop Overview What went well and what did not Next edition? COST Action application (deadline April 29) Courses in the database Courses database flyer for Formalise conf Case studies BoK Minutes FMTea next edition Beijing, 20-21.11.2021 tutorial and workshop? 2 days maybe one invited speaker can be funded by FME/organisers we need one/some PC chairs Feb 15 deadline for submitting proposal, March 15 notification Alexandra and Joao next PC chairs!

Present at the meeting: Klaus, Claudio, Rustan, Leila, Catherine, Graeme, Brijesh, Pierluigi, Luigia On the agenda: FMTea workshop Overview What went well and what did not Next edition? COST Action application (deadline April 29) Courses in the database Courses database flyer for Formalise conf Case studies BoK Minutes We discussed first the FMTea workshop, held in Porto in connection to FM’19, on October 7, 2019, as not all present at the meeting attended the event.

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. 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%.

As we are all over the world, for some the (skype) meeting took place on April 2nd and for some on April 3rd. Present at this meeting: Rustan Leino (US, Seattle), Catherine Dubois (France, Paris), Pierluigi Sanpietro (Italy, Milano), Luigia Petre (Finland, Turku), Kenji Taguchi (Japan, Kyoto), Graeme Smith (New Zealand). Bernd Fisher stepped down the committee as he became head of his department at Stellenbosch University, in South Africa.

New members Brijesh Dongol and Pierluigi San Pietro joined us and shortly introduced themselves. We checked the current database of FM Courses that are now saved in Github as issues: https://github.com/luigiapetre/Formal-Methods-Courses/issues Graeme reminded that we agreed earlier to also have a repository for motivational papers - we agreed to set it up as a Github repo as well. Luigia informed about the forthcoming Communication Committee at FME, to help with getting people to input their courses contact person: Claudio Menghi, cla.

Welcome back! This time Alexandra and Joao could not make it, otherwise everyone was in, despite the challenging hours. We had this meeting exactly three months after the first one. Thanks Kenji and Dino in particular for agreeing to join this slot, although not among their initial favourites. The github repository of FM courses. We have thought on how to store our repository of courses. Dino and Bernd mentioned ResearchGate (https://www.

February 23-24, 2018, FME Teaching Committee, first meeting: Agenda and references Agenda Welcome and introductions What does Teaching FM will focus on? Database of courses Resources BoK (body of knowledge) Examples/Case Studies repositories Short term goals Database of formal methods courses What is a formal methods course Format of database (pointers to courses, not content) Assign person(s) to design the database and maintain it on some webpage, should be yearly updated and made available to FME Some deadline for all of us populating it with what we know of so far (May-June 2018?