BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

The BCS-FACS Workshop on Formal Aspects of the Human Computer Interface , held in Sheffield, UK, 10-12 September 1996, concentrated on modelling techniques suitable for advanced interface requirements, or the application of formal techniques within interface design. Among the specific topics covered are: the specification of safety-critical interfaces; unifying system and user models; and improving the effectiveness, usability and acceptance of formal techniques. The full papers from the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface are available on-line at: http://www.springer.co.uk/eWiC/Workshops/FAHCI.html This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).