International Network on
Formal Methods for Interactive Systems
F   M   I   S
 

The International Network on Formal Methods for Interactive Systems was created following the success of the first two workshops on Formal Methods for Interactive Systems, which were held in Macau SAR China in October 2006 and in Lancaster, UK, in September 2007.

The aims of the FMIS International Network are:

  • to create a discussion forum that brings together researchers in computer science and cognitive psychology, from both academia and industry, who are interested in developing formal and semi-formal methodologies and tools for the evaluation and verification of interactive systems;
  • to build collaborative research among the network partners through the implementation of joint projects;
  • to promote education through the implementation of joint educational programmes and activities;
  • to promote the publication of the research results through the organisation of events and through editorial activities;
  • to build an on-line repository of case studies.
BACK TO TOP
Created: Tue Jan 22 12:00:58 CST 2008 Maintained by
Updated: Fri Feb 29 08:35:36 CST 2008 Antonio Cerone