|
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.
|