The FME Industry Committee aims to support the infusion of formal methods into industry, as well as to obtain feedback from industry as to the usability of various methods in practice. More specifically, the committee’s objectives are to:
- increase the use and awareness of formal methods in industry.
- increase academic awareness industrial use of formal methods.
- promote the collaboration between the formal methods community and industry.
To this end, the committee organises talks and tracks the industrial adoption and offering of formal methods.
The InFM Sessions
InFM is a series of online talks, organised by the committee and is aimed at people working in industry wishing to learn from others applying Formal Methods at industrial scale. The talks are also highly recommended to academics interested in applying and improving their methods, or seeing them applied. See the InFM page for upcoming and past talks.
Formal Methods and the Industry
The committee aims to inform the industry about which formal methods are available, which companies use formal methods, and which companies offer formal methods and consultancy. To this end, we maintain the following archives:
This video contains an interview with three industial engineers on the topic: Formal Methods in the Industrial Domain.
Industry Committee Members
- Carla Ferreira, NOVA University of Lisbon, Portugal
- Leo Freitas, Newcastle University, UK
- Mario Gleirscher, University of Bremen, Germany
- Cláudio Ângelo Gonçalves Gomes, Aarhus University, Denmark
- Peter Höfner, The Australian National University (ANU), Australia.
- Jeroen Keiren, Eindhoven University of Technology, The Netherlands (Secretary)
- Kristin Yvonne Rozier, Iowa State University, USA
- Cristina Seceleanu, Malardalen University, Sweden
- Tim Willemse, Eindhoven University of Technology, The Netherlands (chair)
Contact
Please contact us if you would like to contribute, by sending an email
to industry@fmeurope.org.