All events will be held in the Iontas Building on the North Campus of Maynooth University. See #41 on the campus map. This venue is 10 minutes walk from campus accommodation and 15 minutes walk from the Glenroyal Hotel.
- Registration will be in the Iontas Building Foyer
- FMICS will be held in Room 0.32 (ground floor) on Monday and in the Iontas Lecture Theatre (ground floor) on Tuesday.
- PhD-iFM will be held in Room 1.33 (first floor), and the joint session with FMICS on Tuesday morning from 9 - 10:10 will be held in the Iontas Lecture Theatre (ground floor).
- iFM will be held in the Iontas Lecture Theatre (ground floor).
- Rooms 0.32 and 1.33 will be generally available for meetings from Wednesday - Friday.
Proceedings
The Proceedings for FMICS 2018 is now available online as LNCS 11119, with free access by clicking on the embedded hyperlink until October 3rd 2018.
The Proceedings for iFM 2018 is now available online as LNCS 11023, with free access by clicking on the embedded hyperlink until September 29th 2018.
Follow this link for the PhD-iFM 2018 proceedings.
Schedule for FMICS 2018, PhD-iFM and iFM 2018
The full programme for all three events is available here in pdf.
The online programme for FMICS on (Sept 3rd and 4th) is available here. Registration and coffee breaks will be in the Iontas Building Foyer. Lunch will be in the Phoenix Restaurant (#38 on campus map).
PhD-iFM: Tuesday, 4 September: Iontas Building, Room 1.33 (First Floor)
| 08:30 - 09:00 | Registration in Iontas Building Foyer |
| Session 1 |
Parallel session with FMICS - Invited speaker FMICS (Iontas Lecture Theatre) |
| 09:00 - 09:10 |
Marc Daumas, Science Attaché, Embassy of France in Ireland |
| 09:10 - 10:10 |
Invited Speaker: Susanne Graf, Director of Research at VERIMAG Grenoble, France. Building correct Cyber‐Physical Systems --- can we improve current practice? |
| 10:10 - 10:30 | Coffee break in Iontas Building Foyer |
| Session 2 |
Chair: Erika Abraham (Room 1.33) |
| 10:30 - 10:35 | Opening and welcome |
| 10:35 - 11:00 | Faustin Ahishakiye and Felix Dino Lange. Non-intrusive MC/DC Measurement based on Traces |
| 11:00 - 11:25 | Fauzia Ehsan and Marieke Huisman. A Compositional Abstraction Technique for Automated Verification of Concurrent Programs |
| 11:25 - 11:50 | Eduard Kamburjan and Tzu-Chun Chen. Stateful Behavioral Types for Active Objects |
| 11:50 - 12:15 | Stefan Schupp and Erika Abraham. The HyDRA Tool – A Playground for the Development of Hybrid Systems Reachability Analysis Methods |
| 12:15 - 13:30 | Lunch in Phoenix Restaurant (#38 on campus map). |
| Session 3 |
Chair: Einar Broch Johnsen (Room 1.33) |
| 13:30 - 14:30 |
Invited Talk:Parallel session with FMICS (Invited speaker PhD-iFM) Title: Formal Verification of Financial Algorithms with Imandra Invited Speaker: Dr. Grant Olney Passmore. |
| 14:30 - 14:55 | Rui Wang. Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets |
| 14:55 - 15:20 |
Jannik Dunkelau. Machine Learning and AI Techniques for Automated Tool Selection for Formal Methods |
| 15:20 - 15:45 | Individual mentoring session |
| 15:45 - 16:15 | Coffee break in Iontas Building Foyer |
| Session 4 |
Chair: Luigia Petre (Room 1.33) |
| 16:15 - 16:40 | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf and Lars Tveito. Resource-Aware Virtually Timed Ambients |
| 16:40 - 17:05 |
Francesco Leofante, Erika Abraham and Armando Tacchella. Task Planning with OMT: an Application to Production Logistics |
| 17:05 - 17:30 | Jagadeeswaran Thangaraj and Senthilkumaran Ulaganathan. A Formal Framework to Unified Metamodel for Consistent Transformation |
| 17:30 - 17:45 | Best presentation award |
iFM: Wednesday, 5 September, Iontas Lecture Theatre
| 08:00 - 08:50 | Registration in Iontas Building Foyer |
| 08:50 - 09:00 | iFM Opening and Welcome |
| Session 5 |
Chair: Kirsten Winter |
| 09:00 - 10:00 |
Invited Talk: Viktor Vafeiadis. Program Correctness under Weak Memory Consistency |
| 10:00 - 10:30 | Coffee break in Iontas Building Foyer |
| Session 6 |
Chair: Einar Broch Johnsen |
| 10:30 - 11:00 | Johannes Eriksson, Masoumeh Parsa and Ralph-Johan Back. A Precise Pictorial Language for Array Invariants |
| 11:00 - 11:30 | Jan Boerman, Marieke Huisman and Sebastiaan Joosten. Reasoning about JML: Differences between KeY and OpenJML |
| 11:30 - 12:00 |
Simon Doherty, John Derrick, Brijesh Dongol and Heike Wehrheim. Causal Linearizability: Compositionality for Partially Ordered Executions |
| 12:00 - 13:30 | Lunch in Phoenix Restaurant (#38 on campus map). |
| Session 7 |
Chair: Peter Hoefner |
| 13:30 - 14:00 |
Philipp Koerner, Michael Leuschel and Jeroen Meijer. State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin |
| 14:00 - 14:30 | Huu Vu Nguyen and Tayssir Touili. Branching Temporal Logic of Calls and Returns for Pushdown Systems |
| 14:30 - 15:00 |
Eun-Young Kang, Dongrui Mu and Li Huang. Probabilistic Verification of Timing Constraints in Automotive Systems using UPPAAL-SMC |
| 15:00 - 15:30 | Coffee break in Iontas Building Foyer |
| Session 8 |
Chair: Ferrucio Damiani |
| 15:30 - 16:00 | Eduard Kamburjan and Tzu-Chun Chen. Stateful Behavioral Types for Active Objects |
| 16:00 - 16:30 | Salwa Kobeissi, Adnan Utayim, Mohamad Jaber and Ylies Falcone. Facilitating the implementation of distributed systems with heterogeneous interactions |
| 16:30 - 17:00 | Tueno Fotso Steve Jeffrey, Marc Frappier, Regine Laleau, Amel Mammar and Leuschel Michael. Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions |
| 18:00 |
Welcome Reception: Pugin Hall, Maynooth University (with tours of the Russell Library) |
iFM: Thursday, 6 September, Iontas Lecture Theatre
| 08:30 - 09:00 | Registration in Iontas Building Foyer |
| Session 9 |
Chair: Carlo A. Furia |
| 09:00 - 10:00 |
Invited Talk: Cristian Cadar. Dynamic Symbolic Execution for Software Analysis |
| 10:00 - 10:30 | Coffee break in Iontas Building Foyer |
| Session 10 |
Chair: Marieke Huisman |
| 10:30 - 11:00 | Joshua Schmidt, Sebastian Krings and Michael Leuschel. Repair and Generation of Formal Models Using Synthesis |
| 11:00 - 11:30 | Hendrik Simon and Stefan Kowalewski. Mode-aware Concolic Testing for PLC Software |
| 11:30 - 12:00 |
Marko Dimjasevic, Falk Howar, Kasper Luckow and Zvonimir Rakamaric. Study of Integrating Random and Symbolic Testing for Object-Oriented Software |
| 12:00 - 13:30 | Lunch in Phoenix Restaurant (#38 on campus map). |
| Session 11 |
Chair: Erika Abraham |
| 13:30 - 14:00 |
Daniel Dougherty, Joshua Guttman and John Ramsdell. Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA |
| 14:00 - 14:30 | Ruggero Lanotte, Massimo Merro and Simone Tini. Towards a formal notion of impact metric for cyber-physical attacks |
| 14:30 - 15:00 |
Dimitri Bohlender and Stefan Kowalewski. Design and Verification of Restart-robust Industrial Control Software |
| 15:00 - 15:30 | Coffee break in Iontas Building Foyer |
| Session 12 |
Chair: John Derrick |
| 15:30 - 16:00 | Francesco Leofante, Erika Abraham and Armando Tacchella. Task Planning with OMT: an Application to Production Logistics |
| 16:00 - 16:30 | Davide Basile, Maurice Ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini and Alessio Ferrari. On the Industrial Uptake of Formal Methods and Tools in the Railway Domain: A Survey with Stakeholders |
| 16:30 - 17:00 | Marie Farrell, Matt Luckcuck and Michael Fisher. Robotics and Integrated Formal Methods: Necessity meets Opportunity |
| 18:30 | Depart from Phoenix Restaurant for Dinner at Barberstown Castle |
iFM: Friday, 7 September, Iontas Lecture Theatre
| 08:30 - 09:00 | Registration in Iontas Building Foyer |
| Session 13 |
Chair: Rosemary Monahan |
| 09:00 - 10:00 |
Invited Talk: Ana Cavalcanti. Integrating formal methods for modelling and simulation of swarm robotics |
| 10:00 - 10:30 | Coffee break in Iontas Building Foyer |
| Session 14 |
Chair: Luigia Petre |
| 10:30 - 11:00 |
Zheng Cheng, Jean-Claude Royer and Massimo Tisi. Efficiently Characterizing the Undefined Requests of a Rule-Based System |
| 11:00 - 11:30 |
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf and Lars Tveito. Resource-Aware Virtually Timed Ambients |
| 11:30 - 12:00 |
Vashti Galpin. Formal modelling of software defined networking |
| 12:00 - 12:30 | Rob van Glabbeek, Peter Höfner and Djurre van der Wal. Analysing AWN-specifications using mCRL2 |
| 12:30 - 12:45 | iFM Closing Session |
| 12:45 - 14:00 | Lunch in Phoenix Restaurant (#38 on campus map). |