FME is now inviting proposals to host the 28th edition of the International Symposium on Formal Methods in autumn 2027. Since FM 2026 will take place in Asia, FM 2027 should preferably be held in Europe – although other locations worldwide will also be considered.
Formal Methods Europe (FME, www.fmeurope.org) is a worldwide association bringing together researchers and practitioners in formal methods for computing systems and software. One of FME’s main activities is the standing organisation of conferences and other events to disseminate research results and industrial experience in formal methods.
FME’s flagship event is the International Symposium on Formal Methods (FM). In the past, the symposium was held approximately every 18 months: the 26th edition took place in Milan (Italy) in September 2024 and the 27th edition is being organised in Tokyo (Japan) in May 2026 (https://conf.researchr.org/home/fm-2026). Starting with the year 2027, the FM Symposium is moving to a yearly schedule, with a new edition taking place every autumn.
As FM moves to a yearly schedule, and its community continues to grow, this call is also for expressions of intent to organise FM further into the future – in particular, the 29th edition in autumn 2028. Applicants are invited to specify multiple years in which they would be available
The FM symposium has grown into a weeklong format, which typically includes tutorials, tool demonstrations, an industry day, workshops, and a variety of co-located events alongside the core tracks. Thus, organisers are encouraged to contribute ideas for new kinds of co-located events and shared initiatives; and they should be open to considering suggestions that come from the Formal Methods community and the FME board.
Proposal Content
Proposals should be no more than 4 pages in length and contain:
- A brief description of why organising the FM symposium is of interest to the proposer(s).
- The vision for the event, including its aims, the expected format, tentative dates, and scale.
- A summary of the relevant qualifications and experience of the proposer(s), especially regarding conference organisation.
- A description of the venue: location, its travel accessibility, facilities available to host the symposium, local support for the organisers, as well as a rundown of availability and costs of accommodations for participants near the venue.
- Information on the potential involvement of industry partners interested in formal methods and based in the same geographic area as the proposal’s venue.
- The contact information of the proposed organiser(s).
More information about the FM symposium is available in the document “A Guide to the FM Symposium” at https://fmeurope.org/documents/symposium-guide-v312.pdf. We encourage proposers to read through the guide to learn about the symposia’s governance; in particular, note that the PC chairs of FM are selected and invited by the FME chair in consultation with the General Chair(s), the FME Board, former PC chairs, and selected colleagues and FME members. Therefore, proposers should not make preliminary contact with potential PC chairs.
This call for organizers is also available as a pdf.
Important Dates
- [Optional] 01 December 2025: Informal expression of interest to submit a proposal.
- [Deadline] 15 January 2026: Proposals to organise FM 2027 (and possibly later editions) are due.
- [Notification] 15 February 2026: Notification of evaluation results.
After submission, proposers may be contacted with inquiries about their application. Proposals are evaluated by the FME Board in consultation with the Advisory Board, and possibly other relevant FME members.
After notifications, FME and the successful proposers will finalise the main organisational details and sign a formal agreement.
Submitting your Proposal
Please send your proposal (in PDF format) or any enquiries to info@fmeurope.org.