Watch Jeff Joyce’s keynote from FormaliSE 2019: The Benefits of (having doubts about) Formal Methods
| About FME | Formal Methods | Symposia | FME Awards | Upcoming Conferences |
FME Annual General Meeting 2019 and FME/BCS-FACS Seminar
2019 FME Annual General Meeting. The Annual General Meeting of FME will take place in London, April 3, and be co-located with a lecture by Farhad Arbab at the British Computer Society.
FM 2018: Questionnaire
The Formal Methods Europe association is collecting feedback on FM 2018, and on how the FM participants appreciated our participation in FLOC last year.
FM 2021: Call for Organizers
FME invites proposals from any group or institution wishing to host the next FM symposium in 2021. FM 2021 will be the 24th International Symposium on Formal Methods and will preferably take place in spring 2021. The format of the symposium foresees for the organization of related events such as tutorials, displays of tools, products, research projects and publishers and the co-location of the FM Symposium with other conferences and workshops in related areas.
CfP FormaliSE 2019
Call for Papers
FORMALISE 2019
7th International Conference on Formal Methods in Software Engineering
co-located with ICSE 2019 (May 25th–May 31st)
27th May 2019, Montreal, Canada
http://www.formalise.org/
Call for Nominations: FME Fellowship Award
FME Fellowship Award
Established in 2015 and normally given every three years for technical achievements in advancing, applying, and promoting formal methods, the Formal Methods Europe (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.
FM 2019: Call for Papers
FM 2019: 23rd International Symposium on Formal Methods
3rd World Congress on Formal Methods
Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt
FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a Program Committee with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience.
Teaching Formal Methods?
FME has established a formal methods teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.
FM 2019: 3rd World Congress on Formal Methods
FM 2019 will be the 3rd World Congress on Formal Methods
and will take place in Porto, Portugal, 7-11 October 2019.
http://formalmethods2019.inesctec.pt/