-- Sincere apologies if you receive multiple copies 

                   DSV-IS 2000: 7th International Workshop on
        Design, Specification and Verification of Interactive Systems
                      Limerick, Ireland, June 5-6, 2000.

                ICSE Workshop in co-operation with EUROGRAPHICS
        Models in Design of Interactive Systems and Usability Evaluation
                  http://giove.cnuce.cnr.it/dsvis2000.html


DSV-IS (Design, Specification and Verification of Interactive Systems)
is an international Workshop that has been organised every year since
1994.  The 7th DSV-IS workshop is organized in co-operation with Eurographics,
as in previous years, and is linked with ICSE in order to facilitate
greater participation from people working in the Software Engineering field.
The workshop will provide a forum for the exchange of ideas on diverse
approaches to the design and implementation of interactive systems. The
particular focus of this year's event is on models (e.g. of devices,
users, tasks, contexts, architectures, etc. ) and their role in               
supporting the design and development of interactive systems.
As in previous years, we maintain our interest in the use of formal
representations and their role in supporting the design, specification,
verification, validation and evaluation of interactive systems.
Contributions pertaining to less formal representations of interactive
system designs and model-based design approaches are also encouraged.

The workshop aims to encourage an exchange of ideas between these
different research fields. In the workshop, we aim to review the state
of art in the field, to give a framework to evaluate current approaches,
and to identify promising research lines and the possible results which
can be foreseen in the next years.

Topics of interest are:
--  Model-based design of interactive systems
--  Task-based design of interactive systems
--  Formal description of user related properties
--  Cognitive models in interactive systems design
--  User interface architectures
--  User interface development environments
--  The role of representations (formal/informal) in the design of
--  interactive systems
--  Models of context of use
--  Specification-based evaluation of usability
--  Formal specification techniques for interactive systems
--  Models for Novel Interaction Techniques
--  Design of Interactive-Safety Critical Applications
--  Novel Techniques for Interacting with Formal Models
--  Usability Evaluation of Notations
--  UML and HCI
--  Software Architectures for User Interfaces

Program Co-chairs
Philippe Palanque, Université Toulouse I, France
Fabio Paternò, CNUCE-CNR, Italy

Program Committee
Ann Blandford, University of Middlesex, U.K.
Alan Dix, University of Lancaster and aQtive limited.
David Duce, Rutherford Appleton Lab. - Oxford Brookes University, U.K.
David Duke, University of York, U.K.
Giorgio Faconti, CNUCE-C.N.R., Italy
Miguel Gea, University of Granada, Spain
Nicholas Graham, Queen's University, Canada
Michael Harrison, University of York, U.K.
Robert Jacob, Tufts University, U.S.A.
Chris Johnson, University of Glasgow, U.K.
Peter Johnson, University of Bath, U.K.
Panos Markopoulos, University of Eindhoven, The Netherlands
Fernando Mario Martins, University of Minho, Portugal
Angel Puerta, Stanford University and Red Whale, U.S.A.
Jean Vanderdonckt, Université Catholique de Louvain, Belgique

Important dates:
        Submission by February 25, 2000
        Notification of acceptance by March 24, 2000.
        Workshop, June 5-6.


Submissions
5 copies of the submission must be sent to one of the workshop chairs (see
address below)
There are two types of submission:

Full Papers:  should describe original research work or taxonomies
concerning specific issues. Full paper submissions should be no
longer than 6000 words.

Position Papers:  should express the authors' view on one or more
of the topics indicated in the call. Position paper submissions
should be about 1000 words in length.

We suggest that submitters follow the formatting instructions indicated at
http://www.springer.de/comp/lncs/authors.html

Proceedings
We plan to have informal proceedings at the workshop. 
Selected revised papers will be included in the post-workshop proceedings that
will be published by Springer Verlag in the Lecture Notes in Computer
Science serie.

Information
Please address manuscripts, requests for information to the workshop
chairs:

Philippe Palanque Université Toulouse I Place Anatole France, 31042
Toulouse Cedex, France +33 561 63 35 88 [log in to unmask]

Fabio Paternò CNUCE-CNR Via S. Maria, 36 56126 Pisa, Italy +39 050
593289 [log in to unmask]


 ___________________________________________________________
| Philippe Palanque, Director, LIHS, Université Toulouse 1  |
| 1, Place Anatole France,  F-31042 Toulouse cedex,  France |
| Tel: +33 (0)561 63 35 88       Fax: +33 (0)561 63 37 98   |
| http://lihs.univ-tlse1.fr/~palanque                       |