Email Gateway (Aug 18 2022 at 10:35): Email Gateway (Aug 18 2022 at 10:35):From: Paul Curzon <pc@dcs.qmul.ac.uk>
EXTENDED DEADLINE
Call for Papers: FMIS 2007
2nd International Workshop on Formal Methods for Interactive Systems
A Satellite Workshop of HCI 2007
Lancaster, UK - 4th September, 2007
http://www.dcs.qmul.ac.uk/research/imc/hum/fmis2007/
Important Dates
Submission deadline: 1 July 2007
Acceptance notification: 27 July, 2007
Workshop: 4th September, 2007
Background and Objectives
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 and 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.
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.
Related Conferences
The workshop will be held in conjunction with HCI 2007
(www.bcs-hci.org.uk/hci2007/) and prior to SEFM 2007: the 5th IEEE
International Conference on Software Engineering and Formal Methods
(www.iist.unu.edu/SEFM07/) which will be held in London the following
week. Participants interested in the themes of FMIS: HCI and formal
methods may therefore wish to attend both conferences following the
workshop.
Submission
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. Papers should be written in English and not exceed 16 pages.
Papers may be accepted either for full presentation or short
presentation at the workshop.
Negotiations are in progress to have the proceedings published by
Elsevier in the series Electronic Notes in Theoretical Computer Science
(ENTCS) as for FMIS 2006. Papers accepted as short presentations will be
published in the participants proceedings at the workshop only, not the
full published post-proceedings.
Publication of a selection of the papers in a journal special issue is
also under consideration.
Detailed information on the submission procedure and formats required
will be made available on the workshop website.
Queries to: fmis2007@dcs.qmul.ac.uk
Organisers
Paul Curzon, Queen Mary, University of London, UK
Antonio Cerone, UNU-IIST, Macau SAR China
Programme Committee
Bernhard Beckert, Germany;
Ann Blandford, England;
Judy Bowen, New Zealand;
Paul Cairns, England;
Antonio Cerone, Macau SAR China;
Jose Creissac Campos, Portugal;
Paul Curzon, England;
Alan Dix, England;
Gavin Doherty, Ireland;
Michael Harrison, England;
C. Michael Holloway, USA;
Chris Johnson, Scotland;
Peter Lindsay, Australia;
Philippe Palanque, France;
Fabio Paterno, Italy,
Chris Roast, England,
Rimvydas Ruksenas, England;
Siraj Shaikh, Macau SAR China;
Daniel Sinnig, Canada;
Harold Thimbleby, Wales
FMIS is organised in conjunction with the EPSRC funded Human Error
Modelling Project on research grants GR/S67494 and GR/S67500
Last updated: May 03 2024 at 08:18 UTC