Formal Methods in Computer Human Interaction: Comparison, Benefits, Open Questions

Sunday, April 14 and Monday morning, April 15

Formal methods have been demonstrated to improve the development process and the quality of the final result. It is an open issue whether formal methods can improve the HCI process, e.g. by giving useful support in usability evaluation or obtaining more reliable implementations of user requirements. We think that formal methods are valid in specific phases of the development process of Interactive Systems and that each approach is best suited to certain applications and problems. We want to understand the differences and similarities among the existing approaches.

The purpose of the workshop is to review the current state of formal methods in HCI and to build a framework to evaluate current approaches. To focus discussion, we have selected a case study that will be used to compare the approaches proposed. We will cover no more than 10 formal approaches to the case study.

Participants should submit a two-page position paper describing their interests and previous work in formal methods in HCI and their first thoughts on the selected case study based on your formal approach. They should also indicate whether they are interested in presenting their formal approach in the workshop. Participants selected to present their approach will be asked to write a five-page position paper describing initial results of the application of their approach to the case study. Participants will be chosen on the basis of the case study work and previous work in formal methods in Interactive Systems.

This one-and-a-half-day workshop is limited to 15 participants.

Contact

Fabio Paternó
CNUCE - C.N.R.
Via S.Maria 36
56126 Pisa, Italy
E-mail: f.paterno@cnuce.cnr.it
Tel: +39 50 593289
Fax: +39 50 904052