FoMHCI Workshop

The Workshop on Formal Methods in Human Computer Interaction (FoMHCI) is meant to bring scientists and interested researchers together who are interested in formal methods in the context of user interfaces, interaction techniques, and interactive systems. Its intention is to present and discuss existing formal methods for the following (not exhaustive) list of topics:
  • Description and modeling of user interfaces, interaction techniques, and interactive systems
  • Validation and verification concepts and techniques for user interface, interaction techniques and process, as well as interactive systems
  • User modeling techniques, concepts, and languages
  • Task modeling techniques, concepts, and languages
  • Modeling and description techniques for post desktop interaction concepts and metaphors
  • Execution and adaptation of formal descriptions
  • Description of adaptive interactive systems and user interfaces
  • Multi-user and multi-view systems and interaction

All details for the submission can be found here. The submission deadline was April 24, 2015 and has been extended to May 3rd. More information on important dates can be found here

The workshop will be hold in conjunction with the 7th ACM SIGCHI Symposium on Enginnering Interactive Computing Systems (EICS) 2015 in Duisburg, Germany on June 23. To register to the workshop please consolt the symposium's registration website.

All accepted authors who attend the workshop will be invited to submit an extended version of their workshop paper as a chapter to a Springer book on the topic of the workshop.

For any questions, please contact one of the member of the Organizing Commitee or write directly to weyers[at]