FMIS 2019
8th Formal Methods for Interactive Systems workshop
co-located with Formal Methods 2019
7 October 2019
Porto, Portugal
Committees
Committees
Organizers
Organizers
- Steve Reeves, University of Waikato, New Zealand
- José C. Campos, University of Minho & HASLab/INESC TEC, Portugal
Program Committee
Program Committee
- Oana Andrei, University of Glasgow
- Yamine Aït Ameur, IRIT/INPT-ENSEEIHT, France
- Judy Bowen, University of Waikato, New Zealand
- Antonio Cerone, Nazarbayev University, Kazakhstan
- David Chemouil, ONERA, France
- Horatiu Cirstea, University of Lorraine, France
- Bruno d'Ausbourg, ONERA, Toulouse, France
- Alan Dix, Computational Foundry, Swansea University, UK
- Stefania Gnesi, ISTI-CNR, Italy
- Michael Harrison, Newcastle University, UK
- C. Michael Holloway, NASA, USA
- Kris Luyten, Hasselt University
- Paolo Masci, National Institute of Aerospace, USA
- Mieke Massink, CNR-ISTI, Italy
- Dominique Mery, University of Lorraine, France
- Philippe Palanque, ICS-IRIT, University Toulouse 3, France
- Benjamin Weyers, Trier University