~~~~~~~ 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 Papers (Deadline ***25 February 2005***)
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 relevant information for 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 are invited on topics that relate the user interface and software
engineering, ranging from theory, techniques and tools for the design,
development and validation of interactive systems.
Topics of interest include:
Software engineering aspects of user interfaces including:
Software architectures
Formal methods in HCI
HCI models; e.g. context, user, task, object-oriented Verification and
Validation Specification Development processes Model based design
Usability requirements User interface tools and techniques including:
Interfaces for mobile devices
Ubiquitous interactive systems
Multimodal user interfaces
Perceptual user interfaces
Interfaces for groupware
Information visualization and navigation Virtual reality, augmented
reality Adaptive and customizable systems Interfaces for multiple
devices World wide web Submissions may be made in the following
categories: full papers (up to 12 pages in Springer Lecture Notes
format); short position statements (up to 6 pages); practical experience
reports (3-8 pages) which should describe an experience or a case study,
such as the design and deployment of an actual system; tool papers (3-8
pages) which should outline the design or implementation of a software
tool.
The title page of each submission should include a 150-word abstract, up
to five keywords, authors' names and address and include a line
specifying the submission category in addition to the specified number
of pages. The full mailing list address, phone, fax and email address of
the corresponding author should be specified.
------------------------------------------
Michael Harrison,
Director, Informatics Research Institute,
University of Newcastle upon Tyne,
Devonshire Building, Newcastle NE1 7RU, UK
phone: + 44 191 246 4938
http://homepages.cs.ncl.ac.uk/michael.harrison/
------------------------------------------
http://www.dsvis2005.org/
--------------------------------------------
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ 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] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|