The 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.