Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

2 November 2009, 3rd Workshop on Formal Methods for Interactive Systems, Eindhoven, The Netherlands

Date: 2 November 2009
Location: Eindhoven, The Netherlands
Deadline: 10 August 2009

Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface as well as with the wider socio-technical system.

The aim of this workshop is to bring together researchers in computer science, cognitive psychology, and other areas of HCI, from both academia and industry, who are interested in both formal methods and interactive system design.

For more information, see http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/. The workshop will be held in conjunction with FM2009 <http://www.win.tue.nl/fm2009/>

In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and short papers. Deadline for abstract submission: August 10, 2009.

Please note that this newsitem has been archived, and may contain outdated information or links.