[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FM Tool Exhibition: 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 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.
