~~~~~~~~~~~~~~~ BRITISH HCI GROUP ~~~~~~~~~~~~~~~
~~ http://www.bcs.org.uk/hci/ ~~
~~~~~~~~~~~~~~~~~ NEWS SERVICE ~~~~~~~~~~~~~~~~~~
~~ All news to:[log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ Newsarchives: ~~
~~ http://www.mailbase.ac.uk/lists/bcs-hci/ ~~
~~ archive.html ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
CALL FOR PAPERS
World Congress on Formal Methods (FM99)
mini-track on Formal Methods and Human Computer Interaction
DEADLINE FEBRUARY the 14th
"If the users can't use it, it doesn't work"
"If it doesn't work, the users can't use it"
The FM99 Mini-track on Human-Computer Interaction is concerned with the
role of formal methods in the development of interactive systems. One of
the key issues of these systems is the need for taking into accounts both
usability and reliability.
Formal methods have long been recognised as a key technique in the
development of reliable system. In the field of Human-Computer interaction,
it is now widely accepted that use of formal methods can generate various
benefits, but answers are still to be given to the following questions:
- Is it possible to capture the essence of HCI (users, tasks and system) ?
- Is it possible to capture the specific features of interactive systems ?
- How do current formal methods cope with scalability (real size systems) ?
- How do formal specification techniques encompass new interaction
techniques and new paradigms in HCI ?
- What is the cost/benefits ratio of using them ?
- Is tool support adequate with respect to the design process of
interactive systems ?
Formal methods are still not broadly used in the design process of the
interactive systems. Formal methods were criticized on the grounds that it
seemed they could not be applied efficiently nor they could provide answers
to the challenges posed by new paradigms in HCI.
However they have been successfully used for several aspects of interactive
systems:
- for the understanding of interactive systems, by providing means of
investigating and describing their properties,
- for the building of reliable interactive systems by means of the
modelling of various components such as input and output devices, dialogue
structure, ...
- for the precise description of users' generic behaviour, tasks and
activity,
- for the generation of part of the interactive application from formal
-models,
- for the generation of tests cases,
- for performance evaluation of interactive systems
The FM99 Human-Computer interaction mini-track will be a unique opportunity
for people interested in formal methods and HCI to exchange their views
with researchers and members of the industrial community developing new
formal methods or applying them to other critical interactive systems.
The HCI mini-track is seeking both technical papers and industrial
experience reports dealing with the application and development of formal
methods for Human-Computer Interaction. Possible topics include, but are
not limited to:
- Design, specification and modelling of Interactive Systems,
- Formal user modelling,
- Formal tasks modelling,
- Tools for supporting the use of formal methods in the design process of
Interactive Systems,
- Verification and validation of interactive systems,
- Code generation.
Submission
All papers submitted in response to this specific mini-track should be sent
to and reach Dr James Woodcock by 14 February 1999 (notification of
acceptance is 14 May 1999). The cover sheet must include the Human-computer
Interaction keyword. Please refer to the general technical symposium Call
for Paper for applicable paper evaluation criteria and submission rules.
Publication
All papers accepted to the mini-track will be published together with the
other accepted papers for FM 99 by Spinger Verlag in the LNCS serie.
Deadlines
The schedule for review is:
14 February 1999: Submissions of technical papers and experience reports due.
14 May 1999: Notification of acceptance.
14 July 1999: Final paper in camera-ready form due. (LNCS style)
Contact: B.d'Ausbourg ([log in to unmask]), P.Palanque ([log in to unmask])
Program Committee for the Mini-track
Bruno d'Ausbourg, ONERA-CERT (France),
Remi Bastide, LIS Universite Toulouse I (France),
Alan Dix, Staffordshire University (U.K.),
Michael Harrison, University of York (U.K.),
Andrew Hussey, The Univesity of Queensland (Australia),
Rob Jacob, Tufts University (U.S.A.),
Chris Johnson, University of Glasgow (U.K.),
Dan Olsen, Brigham Young University (U.S.A.),
Philippe Palanque, LIHS Universite Toulouse I (France),
Fabio Paterno, CNUCE-CNR (Italy),
Chris Roast, Sheffield Hallam University (U.K.),
Michael Tauber, University of Paderborn (Germany),
Juan-Carlos Torres, University of Granada (Spain)
Additional information
Information about the World Congress on Formal Methods can be found here
(http://www.fmse.cs.reading.ac.uk/fm99/)
Up to date information about the mini-track on Formal Methods and Human
Computer Interaction can be found here
(http://www.cert.fr/francais/deri/ausbourg/fm99/fm-hci.html)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ NOTE: Please reply to article's originator, ~~
~~ not the News Service ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ To receive HCI news, send the message: ~~
~~ "JOIN BCS-HCI your_firstname your_lastname" ~~
~~ to [log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ To join the British HCI Group, contact ~~
~~ [log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|