FMIS 2007
2nd International Workshop on
Formal Methods for Interactive Systems

 

 

 
Lancaster, UK, 4 September 2007
 
Organizers
Contact
  • fmis2007 AT dcs.qmul.ac.uk

Program Commitee

Bernhard Beckert, University of Koblenz-Landau, Germany
Ann Blandford, UCL Interaction Center, UK
Judy Bowen, University of Waikato, New Zealand
Howard Bowman, University of Kent, UK
Paul Cairns, UCL Interaction Center, UK
Antonio Cerone, UNI-IIST, Macau SAR China (Co-chair)
Josè Creissac Campos, University of Minho, Portugal
Paul Curzon, Queen Mary, University of London, UK (Co-chair)
Alan Dix, Lancaster University, UK
Gavin Doherty, Trinity College, University of Dublin, Ireland
Michael Harrison, University of Newcastle upon Tyne, UK
C. Michael Holloway, NASA Langley Research Center, USA
Chris Johnson, University of Glasgow, UK
Peter Lindsay, The University of Queensland, Australia
Philippe Palanque, University of Toulouse III, France
Fabio Paternò, CNR-ISTI, Italy
Chris Roast, Sheffield Hallam University, UK
Rimvydas Ruksenas, Queen Mary, University of London, UK
Siraj Shaikh, UNI-IIST, Macau SAR China
Daniel Sinnig, Concordia University, Canada
Harold Thimbleby, University of Wales Swansea, Wales


Last update: March 29, 2007