Reeves, SteveBowen, Judy2013-10-032013-10-032013Reeves, S. & Bowen, J. A. (2013). Formal methods for interactive system: (FMIS 2013). In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems (pp. 337-338). New York, USA: ACM.https://hdl.handle.net/10289/8053The workshop focuses on use of formal methods in the development and analysis of Interactive Systems. The workshop is particularly concerned with issues relating to Human Computer Interaction and to the analysis of interaction in a variety of computing environments (safety critical, ubiquitous etc.). In the latter case the complexities of dynamic context, including location and large numbers of interacting entities, pose particular challenges to formal modelling.encomputer sciencesoftware engineeringformal methodsinteractive systemsConference Contribution10.1145/2494603.2483223