FME Fellowship Award

Given every three years for technical achievements in advancing, applying, and promoting formal methods, the FME fellowship rewards scientific breakthroughs and pioneering work that have made a difference to the world through advances in formal methods. This includes contributions in the following areas:

• Solid theoretical work.
• Development of frameworks and tools.
• Teaching formal methods.
• Industrial applications.
• Publicising formal methods worldwide and attracting people to the community.

The recipient of the fellowship will clearly have made a difference in one or more of these areas, and this will be supported by concrete evidence.

Read more

You are invited to attend the FME business meeting in Turin on 20 September 2017. The meeting will be hosted by the University of Torino and co-located with the Integrated Formal Methods (iFM2017) conference. Please refer to the agenda for more information. The minutes from the previous FME business meeting in London are available on the FME web site. Best regards, Lars-Henrik Eriksson FME Secretary

Read more

FM2018, the 22nd International Symposium on Formal Methods, will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences.

Read more

Call for proposals for workshops co-located with FM 2018: 22nd International Symposium on Formal Methods Oxford, UK, 15-17 July, 2018 Deadline for workshop proposals: June 19, 2017 Notification of decision on workshops: July 31, 2017 ABOUT FM 2018 The 23rd International Symposium on Formal Methods (FM 2018) will take place at the University of Oxford, 15-17 July 2018, as part of the Federated Logic Conference (FLoC) 2018. FM 2018 is the latest in a series of symposia organised by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software.

Read more

The 2017 FME Annual General Meeting will be held on the premises of the British Computer Society in London on Thursday, May 4, at 15:30. Refer to http://www.bcs.org/content/ConWebDoc/57129 for more information. The agenda and AGM documents are available here. Reiner Hähnle After the meeting, at 18:00, there will be a joint FME/BCS-FACS seminar by Prof. Dr. Reiner Hähnle, TU Darmstadt, Germany, who will speak about “The KeY Formal Verification Tool“. Refer to http://www.

Read more

Call for Proposals 23th International Symposium on Formal Methods World Congress Autumn 2019 Formal Methods Europe (FME) is a worldwide association bringing together researchers and practitioners in formal methods for developing computing systems and software. We aim to encourage both research and application by disseminating research findings and industrial experience through symposia and sponsored events. FME organizes a symposium every 18 months approximately. Each symposium attracts participants from all over the world.

Read more

FormaliSE 2017, the 5th FME Workshop on Formal Methods in Software Engineering, will be co-located with ICSE, 20–28 May 2017, in Buenos Aires, Argentina FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organized by FME (Formal Methods Europe). FormaliSE 2017 will be organised on 27 May 2017, co-located with ICSE in Buenos Aires, Argentina. The main goal of the workshop is to foster integration between the formal methods and the software engineering communities.

Read more

The FME Lucas Award goes to Jeremy Dick and Alain Faivre for their paper Automating the generation and sequencing of test cases from model-based specifications published at the First International Symposium of Formal Methods Europe (FME’93). Jeremy Dick receives the Lucas Award The FME Awards Committee motivated its decision as follows: Dick and Faivre’s paper is a ground-breaking contribution to automation of testing based on formal specifications, a successful line of research that have added further value to the development of a formal specification.

Read more

FME is currently not accepting new applications for funding. Next to its main FM conference series, FME sponsors other events related to formal methods. Typically invited talks are sponsored. Details about sponsorship can be found in our Guide to FME Sponsorship. (Photo: maistora)

Read more

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016) CNR, Pisa, Italy, 26-28 September 2016 In 2016, FMICS and AVoCS join their forces to hold a workshop combining their themes of formal methods and automated verification. For FMICS, this will be the 21st, for AVoCS the 16th edition. The aim of the yearly workshop of the ERCIM working group FMICS is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Read more