FMIS 2009
3rd International Workshop on
Formal Methods for Interactive Systems

 

 

 
Eindhoven, NL Monday, November 2nd 2009
 
Organizers
Contact
  • fmis2009 AT isti.cnr.it

Programme Commitee

Ann Blandford, UCL Interaction Center, UK
Judy Bowen, University of Waikato, New Zealand
Howard Bowman, University of Kent, UK
Paul Cairns, University of York, UK
Josè Creissac Campos, University of Minho, Portugal
Antonio Cerone, UNI-IIST, Macau SAR China
Paul Curzon, Queen Mary, University of London, UK
Alan Dix, Lancaster University, UK
Gavin Doherty, Trinity College, University of Dublin, Ireland
David Duce, Oxford Brookes University, Oxford, UK.
Stefania Gnesi, CNR-ISTI, Italy
Michael Harrison, Newcastle University, UK
C. Michael Holloway, NASA Langley Research Center, USA
Chris Johnson, University of Glasgow, UK
Mieke Massink, CNR-ISTI, Italy
Philippe Palanque, University of Toulouse III, France
Luca Simoncini, Universita di Pisa, Italy
Daniel Sinnig, Concordia University, Canada
Harold Thimbleby, University of Wales Swansea, Wales


Last update: March 27, 2009