FM Tool Exhibition: Call for Tools

by Stephan Merz, June 11, 2019

Are you developing a software tool that supports the application of formal methods? Please consider participating in the Tool Exhibition during the 3rd World Congress on Formal Methods in Porto. Both academic and industrial tools are welcome.

FM Tool Exhibition

The 3rd World Congress on Formal Methods ( will take place during the week of 7-11 October 2019 in Porto, Portugal. It brings together major conferences on formal methods, including the flagship FM conference, 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. The FM organizers will provide a desk, chairs, and power supply for tool exhibitors, independently of the level of sponsorship.

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 euros, higher levels of sponsoring include registrations of participants)

How to participate

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

by June 30, 2019.

Thierry Lecomte, Clearsy, [email protected]

Stephan Merz, Inria, [email protected]

Informal enquiries are welcome.