~~~~~~~ BRITISH HCI GROUP NEWS SERVICE ~~~~~~~~~~~
~~ http://www.bcs-hci.org.uk/ ~~
~~ All news to: [log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ NOTE: Please reply to article's originator, ~~
~~ not the News Service ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The 12th International Workshop on
Design, Specification and Verification of Interactive Systems
DETAILS: http://www.dsvis2005.org/
The Devonshire Building,
University of Newcastle-upon-Tyne, England July 13-15, 2005
CALL FOR PARTICIPATION
Invited speakers:
Cliff Jones - widely known for his books on VDM, Cliff will present
research carried out with Ian Hayes and Michael Jackson on the
specification of systems involving humans.
Peter Wright - author, with John McCarthy of Cork, of the book
"Technology as Experience", Peter will question some of the assumptions
about conceptions of design: performance, models, refinement,
implementation in designing specifying and verifying interactive systems.
Interactive systems, the human computer interface, and support for
collaboration present significant challenges for software engineers.
Developments in ubiquitous and mobile computing have brought further
challenges to interface designers and developers. Specification and
verification techniques are required that can manage the diversity of
platforms and interaction styles. Techniques are required that can be
used to specify and verify such systems taking account of the fact that
users are no longer dedicated to particular platforms when accessing a
service and that information relevant to the service might be inferred
from its environment.
The twelfth international workshop on the "Design, Verification and
Specification of Interactive Systems" provides a venue for researchers
and practitioners to present their latest results and developments.
Papers will be presented (see programme) on topics that relate the user
interface with software engineering, ranging from theory, techniques and
tools for the design, development and validation of interactive systems.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ To receive HCI news, send the message: ~~
~~ "JOIN BCS-HCI your_firstname your_lastname" ~~
~~ to [log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ Newsarchives: ~~
~~ http://www.jiscmail.ac.uk/lists/bcs-hci.html ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ To join the British HCI Group, contact ~~
~~ [log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This message is intended for the addressee(s) only and should not be read, copied or disclosed to anyone else outwith the University without the permission of the sender.
It is your responsibility to ensure that this message and any attachments are scanned for viruses or other defects. Napier University does not accept liability for any loss
or damage which may result from this email or any attachment, or for errors or omissions arising after it was sent. Email is not a secure medium. Email entering the
University's system is subject to routine monitoring and filtering by the University.
|