FormaliSE 2018
Conference on Formal Methods in Software Engineering (June 2nd, 2018)
co-located with ICSE 2018, Gothenburg, Sweden
| About FME | Formal Methods | Symposia | FME Awards | Upcoming Conferences |
FME Fellowship Award
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.
FME 64th Meeting at iFM2017, 20 September 2017
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
FM 2018: Call for Workshop Proposals
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.
FME Annual General Meeting 2017 and FME/BCS-FACS Seminar
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.
Call for proposals: FM 2019
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.
FormaliSE 2017 co-located with ICSE in Buenos Aires, Argentina
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.
First FME Lucas Award to Dick and Faivre
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.