FMIS 2018

7th International Workshop on Formal Methods for Interactive Systems

(Affiliated Workshop of STAF 2018)

25 June 2018 Toulouse (France)

Committees

Program Chairs

Yamine Aït-Ameur, INPT-IRIT, Toulouse, France
Philippe Palanque, University of Toulouse, France

Program Committee

Matthew Bolton, University at Buffalo, New York, USA
Judy Bowen, University of Waikato, Hamilton, New Zealand
Jose Campos, University of Minho, Braga, Portugal
Antonio Cerone, Nazarbayev University, Astana, Kazakhstan
Horatiu Cirstea, University of Lorraine, Nancy, France
David Chemouil, ONERA, Toulouse, France
Paul Curzon, University of London, UK
Bruno d'Ausbourg, ONERA, Toulouse, France
Michael Harrison, Newcastle University, Newcastle, UK
Kris Luyten, Hasselt University, Hasselt, Belgium
Atif Mashkoor, SCCH, Hagenberg, Austria
Mieke Massink, Institute of Information Science and Technology, Pisa, Italy
Dominique Mery, University of Lorraine, Nancy, France
Charles Pecheur, Université Catholique de Louvain, Louvain, Belgium
Steve Reeves, University of Waikato, Hamilton, New Zealand
Neeraj Kumar Singh, INPT-IRIT, Toulouse, France
Benjamin Weyers, RWTH Aachen University, Aachen, Germany

Organizing Committee

David Chemouil, ONERA, Toulouse, France
Neeraj Kumar Singh, INPT-IRIT, Toulouse, France

 
 
 
Online user: 1 RSS Feed