Workshop on formal methods in human computer interaction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Workshop on formal methods in human computer interaction

Résumé

This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The main 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 [1] following the seminal work reported in [2]. 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, brain-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.

Dates et versions

hal-03209329 , version 1 (27-04-2021)

Identifiants

Citer

Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque. Workshop on formal methods in human computer interaction. Workshop on formal methods in human computer interaction @ 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI : ACM Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.294--295, ⟨10.1145/2774225.2777460⟩. ⟨hal-03209329⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More