14th International Conference on integrated Formal Methods Maynooth University, Ireland.

Congratulations to all our participants and in particular to the following prize winners.

FMICS 2018 Best Paper Award (Sponsored by EASST)

Maarten Bartholomeus, Bas Luttik and Tim Willemse
Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset?

PhD-iFM 2018 Best Presentation Award - Overall Winner: Francesco Leofante

Paper Presented: Francesco Leofante, Erika Abraham and Armando Tacchella. Task Planning with OMT: an Application to Production Logistics

PhD-iFM 2018 Best Presentation Award - 2nd Place: Johanna Beate Stumpf

Paper Presented: Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf and Lars Tveito. Resource-Aware Virtually Timed Ambients

PhD-iFM 2018 Best Presentation Award - 3rd Place: Eduard Kamburjan

Paper Presented: Eduard Kamburjan and Tzu-Chun Chen. Stateful Behavioral Types for Active Objects

Overall Winner: Marie Farrell

Paper Presented: Marie Farrell, Matt Luckcuck and Michael Fisher. Robotics and Integrated Formal Methods: Necessity meets Opportunity