Weyers, B., Bowen, J., Dix, A., & Palanque, P. (2015). Workshop on formal methods in human computer interaction. In Proceeding of the 2015 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 294–295). Duisbury, Germany: ACM. http://doi.org/10.1145/2774225.2777460
Permanent Research Commons link: http://hdl.handle.net/10289/10273
This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The mam objective is twofold: on one hand look at the evolutions of the definition and use of formal methods for interactive systems since the last book on the field nearly 20 years ago  following the seminal work reported in  On the other hand, to identify important themes for the next decade of research. Formal methods aid in the design, development and evaluation of interactive systems providing the unique opportunity for complete and unambiguous description amenable to formal verification. The HCI community has demonstrated that the next generation of user interfaces is moving off the desktop: These emerging interfaces exploit novel input techniques such as tangible, haptic, camera-based, bram-computer, interaction, present a large quantity of information possibly distributed to a wide range of devices. In this workshop, we will discuss common themes, conflicting approaches and techniques, and future directions for the next generation of formal methods that will support the development of large scale dependable and usable interactive systems.
© 2015 copyright with the authors.