CALL FOR PAPERS - 3rd Workshop on Formal Methods for Interactive Systems, Affiliated with FM 2009, November 2, 2009, Eindhoven



CALL FOR PAPERS - 3rd Workshop on Formal Methods for Interactive Systems, Affiliated with FM 2009, November 2, 2009, Eindhoven

From: Tim Kelly <tim.kelly_at_xxxxxx>
Date: Tue, 17 Mar 2009 22:22:43 +0000
Message-ID: <49C022B3.4030106@xxxxxx>
*****************************************************************
FIRST CALL FOR PAPERS
3rd Workshop on Formal Methods for Interactive Systems
Affiliated with FM 2009, November 2, 2009, Eindhoven, The
Netherlands http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/
*****************************************************************

OVERVIEW

Reducing the likelihood of human error in the use of
interactive systems is increasingly important: the use of such
systems is becoming widespread in applications that demand
high reliability due to safety, security, financial or similar
considerations. Interactive systems are also becoming
increasingly ubiquitous and being used in new and more complex
situations. Consequently, the use of formal methods in
verifying the correctness of interactive systems should also
include analysis of human behaviour in interacting with the
interface as well as with the wider socio-technical system.

The aim of this workshop is to bring together researchers in
computer science, cognitive psychology, and other areas of
HCI, from both academia and industry, who are interested in
both formal methods and interactive system design.

The workshop will be held in conjunction with FM2009
<http://www.win.tue.nl/fm2009/>

The first FMIS workshop <http://fmis.iist.unu.edu/> was held
in Macau in October 2006 and the second FMIS workshop
<http://www.dcs.qmul.ac.uk/research/imc/hum/fmis2007/>, was
held in Lancaster in September 2007

TOPICS

Submitted papers should address issues of how formal methods
can be applied to interactive system design. Topics of
interest include, for example, the development of formal
tools, techniques and methodologies based on cognitive
psychology results, the development and use of formal user
models, case studies applying formal methods to interface
design, and formal analysis of the design of the wider
socio-technical systems.
The scope of HCI issues covered extends to all aspects of
applying formal methods to interactive systems, including
usability, user experience, human error, etc. We also welcome
papers with a focus on theory provided a link to interactive
systems is argued.
Received on Tue 17 Mar 2009 - 22:22:47 GMT