2 Nov 2009
Eindhoven, The Netherlands
*****************************************************************
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.
Application areas considered include but are not limited to:
mobile devices, embedded systems, safety-critical systems,
high-reliability systems, shared control systems, digital
libraries, eGovernment, pervasive systems, augmented reality,
ubiquitous computing, and computer security applications.
SUBMISSION
In order to encourage participation and discussion, this
workshop solicits two types of submissions - regular papers
and short papers:
1. Regular paper submissions must be original work, and must
not have been previously published, nor be under consideration
for publication elsewhere. Regular paper submission must not
exceed 16 pages.
2. Short paper submissions on recent or ongoing work on
relevant topics and ideas, for timely discussion and feedback
at the workshop. The
(extended) abstract of presentation submissions should not
exceed 4 pages.
Both accepted full papers and short papers will be published
in the participants proceedings. Full papers will also be
published as a volume of the EC_EASST electronic journal.
Detailed information on the submission procedure will be made available at
the
FMIS09 web page: http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/
Publication of an extended version of a selection of the
papers in a journal special issue is also under consideration.
Submissions to the workshop must not have been published or be
concurrently considered for publication elsewhere. All
submissions will be peer-reviewed and judged on the basis of
originality, contribution to the field, technical and
presentation quality, and relevance to the workshop.
IMPORTANT DATES
Abstract submission: August 10, 2009
Submission deadline: August 20, 2009
Notification: September 14, 2009
Workshop: November 2, 2009
ORGANIZATION
PC Chairs:
* Michael Harrison, University of Newcastle, U.K.
* Mieke Massink, CNR-ISTI, Pisa, Italy
Program Committee:
* Ann Blandford, UCL Interaction Center, UK
* Judy Bowen, University of Waikato, New Zealand
* Howard Bowman, University of Kent, UK
* Paul Cairns, University of York, UK
* Jos Creissac Campos, University of Minho, Portugal
* Antonio Cerone, UNI-IIST, Macau SAR China
* Paul Curzon, Queen Mary, University of London, UK
* Alan Dix, Lancaster University, UK
* Gavin Doherty, Trinity College, University of Dublin, Ireland
* David Duce, Oxford Brookes University, Oxford, UK
* Stefania Gnesi, CNR-ISTI, Pisa, Italy
* Michael Harrison, Newcastle University, UK
* C. Michael Holloway, NASA Langley Research Center, USA
* Chris Johnson, University of Glasgow, UK
* Mieke Massink, CNR-ISTI, Pisa, Italy
* Philippe Palanque, University of Toulouse III, France
* Luca Simoncini, University of Pisa, Italy
* Daniel Sinnig, Concordia University, Canada
* Harold Thimbleby, University of Wales Swansea, Wales