CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Content-Transfer-Encoding:
7bit
Sender:
"ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
Subject:
From:
Date:
Fri, 1 Jul 2005 12:47:01 +0100
Content-Type:
text/plain; charset=UTF-8; format=flowed
MIME-Version:
1.0
Reply-To:
Parts/Attachments:
text/plain (45 lines)
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 unsubscribe, send an empty email to
     mailto:[log in to unmask]
    For further details of CHI lists see http://sigchi.org/listserv
    ---------------------------------------------------------------

ATOM RSS1 RSS2