[Apologies for multiple copies]
SECOND CALL FOR PAPERS
3rd Workshop on Formal Methods for Interactive Systems Affiliated with FM
2009, November 2, 2009, Eindhoven, The Netherlands
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
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
The workshop will be held in conjunction with FM2009 <
The first FMIS workshop < <http://fmis.iist.unu.edu/>
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/>
http://www.dcs.qmul.ac.uk/research/imc/hum/fmis2007/>, was held in Lancaster
in September 2007
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
This year's Keynote Speaker is Professor Muffy Calder from the University of
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
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.
Abstract submission: August 10, 2009
Submission deadline: August 20, 2009
Notification: September 14, 2009
Workshop: November 2, 2009
* Michael Harrison, University of Newcastle, U.K.
* Mieke Massink, CNR-ISTI, Pisa, Italy
* 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
* Jose' 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
To unsubscribe, send an empty email to
mailto:[log in to unmask]
For further details of CHI lists see http://sigchi.org/listserv