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 (Sponsored by Science Foundation Ireland)
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
iFM 2018 Best Presentation Award
Overall Winner: Marie Farrell
Paper Presented: Marie Farrell, Matt Luckcuck and Michael Fisher. Robotics and Integrated Formal Methods: Necessity meets Opportunity