Call for Tools

The 3rd World Congress on Formal Methods will take place during the week of 7-11 October 2019 in Porto, Portugal. It will bring together major conferences on formal methods, including the flagship FM symposium, and many satellite workshops. Complementing the academic program, the Industry Day on October 11 targets industrial development of formal methods.

The FM Tool Exhibition provides a forum for developers of academic or industrial tools that support the use of formal methods in different stages of system and software development.

The tool exhibition will be located in a central lobby of the main conference building, facilitating informal exchanges with conference participants. Tools can be exhibited during all or part of the week, with a particular focus on the industry day on October 11. Exhibitors are requested to provide their hardware equipment and to ensure the presence of at least one person at their stands during the days they choose to exhibit their tool.

Financial conditions
  • Academic tool developers: free with registration of the exhibitors.
  • Industrial tool developers: included with sponsorship of FM’19 World Congress and registration of the exhibitors (basic sponsoring starts at €500, higher levels of sponsoring include registrations of participants).

In order to submit a proposal for a tool to be exhibited, please send a title, short description, and URL describing the tool(s) by June 30, 2019, to the Tool Exhibition Chairs:

Informal enquiries are welcome.