FM 2026 is the 27th International Symposium on Formal Methods in the series organized by Formal Methods Europe (FME), an independent association whose mission is to promote the use of, and research on, formal methods for software and systems development. The FM symposia have a strong track record of bringing together researchers and industrial practitioners through a program of original research papers, industrial experience reports, workshops, tutorials, tool demonstrations, project reports, and doctoral research presentations.
FM 2026 will serve both as an occasion to celebrate progress in the field and as a platform for researchers and practitioners from diverse backgrounds to exchange ideas and share experience.
We invite you to support the conference as a corporate sponsor. Sponsorship of FM provides significant visibility and an opportunity to promote your products and services to specialists in formal methods, as well as to a broader community concerned with safety, dependability, verification, and validation.
Sponsorship Packages
FM 2026 offers the following sponsorship packages. But details of the benefits may be negotiated and adjusted, e.g., making demonstration booth.
| BENEFITS | Diamond: 400,000 JPY | Gold: 250,000 JPY | Silver: 130,000 JPY | Bronze: 50,000 JPY |
|---|---|---|---|---|
| Company logo on website, program, publicity materials, speaker transitions | Large | Large | Medium | Small |
| Complimentary conference registration passes | 3 | 2 | 1 | 0 |
| Materials included in registration packet / conference bag | Yes | Yes | Yes | Yes |
| Naming of and talk at social event (banquet dinner) | Yes | No | No | No |
Sponsorship Request
Please contact fm2026-local@nii.ac.jp if you wish to become a sponsor, providing the following information:
- Contact person (name and email address)
- Name of the sponsoring organization
- URL and logo for the conference website (can be provided later)
- Names and email addresses of participants using complimentary registration passes (can be provided later)