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

 

 

 
Lancaster, UK, 4 September 2007
 
Organizers
Contact
  • fmis2007 AT dcs.qmul.ac.uk
The workshop will be held as part of HCI2007 at Lancaster University. Further details of the venue are available on the HCI2007 website. Registration is now open through the HCI2007 registration website. Please register as early as possible
Note REGSISTRATION IS CHEAPER BEFORE 5th AUGUST.


Last update: July 27, 2007