Search this site
Embedded Files
Skip to main content
Skip to navigation
FMIS 2019
Home
Program
Registration
Important Dates
Committees
Call for papers
Previous editions
FMIS 2019
Home
Program
Registration
Important Dates
Committees
Call for papers
Previous editions
More
Home
Program
Registration
Important Dates
Committees
Call for papers
Previous editions
FMIS 2019
8th Formal Methods for Interactive Systems workshop
co-located with
Formal Methods 2019
7 October 2019
Porto, Portugal
Committees
Organizers
Steve Reeves
, University of Waikato, New Zealand
José C. Campos
, University of Minho & HASLab/INESC TEC, Portugal
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
Google Sites
Report abuse
Google Sites
Report abuse