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.
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. Detailed information on the submission procedure is available on the submissions page.
The Call for Papers is available in PDF format.