Final Call for Papers (Extended Deadline)
4th International Workshop on Formal Methods for Interactive Systems
21st June, 2011
Limerick, Ireland
Co-located with FM2011, http://sites.lero.ie/fm2011
Submission deadline: March 30th, 2011
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.
Topics:
Submitted papers should address issues of how formal methods can be
applied to interactive system design. 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 tutoring systems, medical
systems, e-learning, and computer security applications.
Submissions:
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. Short paper
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
electronically as a EC-EASST volume. 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
Submission deadline: March 30th, 2011
Notification: April 29th, 2011
Workshop: June 21st, 2011
Information: http://www.cs.waikato.ac.nz/~jbowen/FMIS/fmis.html
E-mail [email protected]
Programme Commitee
Judy Bowen, University of Waikato, New Zealand
Paul Cairns, University of York, UK
Muffy Calder, University of Glasgow, UK
Josè Creissac Campos, University of Minho, Portugal
Antonio Cerone, UNI-IIST, Macau SAR China
Paul Curzon, Queen Mary, University of London, UK
David Duce, Oxford Brookes University, Oxford, UK.
Stefania Gnesi, CNR-ISTI, Italy
Michael Harrison, Newcastle University, UK
C. Michael Holloway, NASA Langley Research Center, USA
Chris Johnson, University of Glasgow, UK
Mieke Massink, CNR-ISTI, Italy
Philippe Palanque Université Paul Sabatier, Toulouse, France
Steve Reeves, University of Waikato, New Zealand
Rimvydas Ruksenas, Queen Mary, University of London, UK
Daniel Sinnig, Concordia University, Canada
Harold Thimbleby, University of Wales Swansea, Wales
---
Antonio Cerone
Research Fellow
UNU-IIST, Macau SAR China
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
