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. 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.

The aim of this workshop is to bring together researchers in computer science and cognitive psychology, from both academia and industry, who are interested in developing formal and semi-formal methodologies and tools for the evaluation and verification of interactive systems. The outcome is to establish a worldwide network of researchers interested in applying formal methods to HCI.

The workshop will focus on, though will not be restricted to, general design and verification methodologies based on cognitive psychology as well as application areas such as mobile devices, embedded systems, safety-critical systems, high-reliability systems, shared control systems, digital libraries, eGovernment, pervasive systems, augmented reality.

The one-day workshop will feature a one hour presentation by a keynote speaker together with contributed papers that will undergo a peer-review process. Contributed papers may be accepted either for full presentation or short presentation.

Papers accepted as full paper presentations will be published by Elsevier in the series Electronic Notes in Theoretical Computer Science (ENTCS). Papers accepted as short paper presentations will be published in the participants' proceedings at the workshop only. Detailed information on the submission procedure is available below.

Publication of a selection of the papers in a journal special issue is also under consideration.

The Call for Paper is available in PDF, PostScript and Text formats.

Harold Thimbleby, University of Wales Swansea, UK

• Ann Blandford, UCL Interaction Center, UK
• Ralph Back, Åbo Akademi, Finland
• Howard Bowman, University of Kent, UK
• George Buchanan, University of Wales Swansea, UK
• Antonio Cerone, UNI-IIST, Macau SAR China (Co-chair)
• Paul Cairns, UCL Interaction Center, UK
• Josè Creissac Campos, University of Minho, Portugal
• Paul Curzon, Queen Mary, University of London, UK (Co-chair)
• Gavin Doherty, Trinity College, University of Dublin, Ireland
• Michael Harrison, University of Newcastle upon Tyne, UK
• C. Michael Holloway, NASA Langley Research Center, USA
• Chris Johnson, University of Glasgow, UK
• Alan Dix, Lancaster University, UK
• Li Siu Pan, Macao Polytechnic Institute, Macau SAR China
• Peter Lindsay, The University of Queensland, Australia
• Adegboyega Ojo, UNI-IIST, Macau SAR China
• Philippe Palanque, University of Toulouse III, France
• Fabio Paternò, CNR-ISTI, Italy
• Rimvydas Ruksenas, Queen Mary, University of London, UK

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 in ENTCS format.

Authors should utilize the ENTCS macro files that have been specially prepared for use with ENTCS. The generic ENTCS package, which contains files common for all volumes in ENTCS and includes several examples, as well as instructions, can be downloaded from http://www.entcs.org/generic.tar.gz. The entcsmacro.sty file in the ENTCS package should be be replaced by the prentcsmacro.sty file, which is specific to FMIS 2006 and can be downloaded from http://www.entcs.org/files/fmis/prentcsmacro.sty. File prentcsmacro.sty has to be renamed entcsmacro.sty. File example.tex has to be used as a template for the paper, making sure that key words are included in the frontmatter section where indicated.

Authors also should not use any formatting commands that alter the ENTCS style definitions. This includes the format of Definitions, Lemmas, Theorems, etc., as well as the spacing that is defined by the ENTCS Macros.

Authors must submit their papers in pdf format to the website http://confman.iist.unu.edu/FMIS2006/REG-paper/ no later than Sunday 6 August 2006.

All queries should be sent to: fmis2006 AT iist.unu.edu.