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.
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 on the submissions page. Submission is now CLOSED.
Publication of a selection of the papers in a journal special issue
is also under consideration.
The Call for Paper is available in PDF format.