From: johnson@minster.york.ac.uk
Subject: EVENT: Formal Methods and HCI workshop, York, UK, 23 Jul 1993
Date: Mon, 14 Jun 1993 13:23:40 GMT
Organization: Sterling Software


Crossposted from news.announce.conferences


Final programme:

  Workshop On Formal Methods For
  The Design Of Interactive Systems

  Friday, 23rd July.
  The Huntingdon Room, King's Manor, York.

**********************************************

10.00    Registration and coffee

10.30    H. Thimbleby
	 Stirling University, U.K.
	 Formulating Usability

11.15    K. Systa
         Tampere University, Finland.
	 Specifying User Interfaces in DisCo

12.00    L.M.F Carneiro, D.D. Cowan, and C.J.P. Lucena.
	 University of Waterloo, Canada.
	 ADVcharts: a Graphical Specification for
         Multi-Modal Interactive Systems - Abstract
         Data Views in Perspective

12.45    ** Lunch **

13.45    F. Paterno
	 CNUCE - CNR, Italy.
         A Formal Approach To The Evaluation Of
         Interactive Systems

14.30    B. De Carolis and F. de Rosis.
	 University of Bari, Italy.
	 Modelling Adaptive Interaction in OPADE
         using Petri Nets.

15.15    B. Fields, M.D. Harrison and P.C. Wright
	 British Aerospace and University of York, U.K.
	 From Natural Language Requirements To
	 Agent-Based Specification: An Aircraft
	 Warnings Case Study

16.00    ** Tea **


************************************************************

The following form should be completed and sent to reach
the workshop organisers by the 16th July.

In order to keep the costs of the workshop as low as
possible all payments must be in stirling.  We can only
accept Eurocheques or cheques drawn on U.K. banks or
official orders from U.K. establishments providing that
the actual order, not just the order number, is sent.



Registration Form:

I would like to attend the Formal Methods In HCI workshop
and enlose payment for thirty pounds made out in favour
of the University of York.


Name:


Address:




E-mail:

Fax:

Date:


Workshop organisers:
  Dr. C.W. Johnson and Prof. M.D. Harrison,
  The Human Computer Interaction Group,
  The Department of Computer Science,
  The University of York, York, Yo1 5DD.
  E-mail: johnson@minster.york.ac.uk
  Phone:  0904 433376, Fax:  0904 432767