From diderot@hitl.washington.edu Fri Oct 7 14:00:59 1994 Return-Path: Received: from mx4.u.washington.edu by stein2.u.washington.edu (5.65+UW94.4/UW-NDC Revision: 2.30 ) id AA13479; Fri, 7 Oct 94 14:00:59 -0700 Received: from hitl-new.hitl.washington.edu by mx4.u.washington.edu (5.65+UW94.9/UW-NDC Revision: 2.30 ) id AA22409; Fri, 7 Oct 94 14:00:10 -0700 Received: by hitl.hitl.washington.edu; id AA21388; Fri, 7 Oct 1994 13:58:30 -0700 Date: Fri, 7 Oct 1994 13:58:30 -0700 Message-Id: <9410072058.AA21388@hitl.hitl.washington.edu> X-Sender: diderot@hitl.washington.edu Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: scivw@hitl.washington.edu From: Sabine Coquillart (by way of diderot@hitl.washington.edu (Toni Emerson)) Subject: 2nd Eurographics Workshop on Design, Specification, Verification of Interactive systems Status: OR Dear Colleagues, This announcement is a forwarded message for a Eurographics Workshop to be organized. If you are not personally interested in the technical content yourselves, we would appreciate if you could forward this announcement in your environment you are working in to make this EG event as successful as possible. Thank you for your cooperation. Sabine Coquillart The Eurographics Working Group and Workshop Board ===================================== cut here ================================ ===== 2nd Eurographics Workshop on Design, Specification, Verification of Interactive Systems DSV-IS'95 Call for Contributions Toulouse (France) 7-9 June 1995 Background: Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application-code is devoted to the user interface portion. In order to manage this complexity, it is very important to have tools, notations, and methodologies which support the designer's work during the refinement process from specification to implementation. Aims and Scope: the purpose of the workshop is to review the state of the art in this area, compare the different existing approaches to this field in order to identify the principal requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them. Contributions are invited on topics such as: - Foundations and Reference Models for Interactive Systems. - Verification of user interfaces, application of theorem-provers. - Methodologies for abstract design, comparative studies of methods/description techniques. - Specification of human-computer interaction, multi-modal user interfaces and virtual realities. - Design of Graphics Systems and Window Systems. - Formal description of users' related properties. - Model-based user interface software tools. Full Papers: Participation will be limited to encourage discussion. Selection will take place on the basis of full papers (up to 15 pages) reviewed by the Programme Committee. Please submit 4 copies to the address below. A cover sheet must accompany all submissions. This cover sheet must include : the title, the name and all contact details (address, phone, fax, email) of primary contact person, the abstract and the topic keywords. Papers and conclusions will appear in the workshop proceedings. Invitations to submit revised versions for a book will depend on the quality of the contributions. Participation without submitting a paper may be possible in a few cases, if a position paper is submitted with your views on the topics of the workshop. Schedule: 13 January 1995 Expression of interest 10 February 1995 Deadline for full papers/position papers 10 April 1995 Notification of participation/acceptance of paper 7-9 June 1995 Workshop The workshop will be held near Toulouse (France) in a charming French castle. Organization and chairs: R. Bastide (LIS - University Toulouse I) S. Chatty (Centre d'Etudes de la Navigation Aerienne) P. Palanque (LIS - University Toulouse I) Sponsors and cooperations: The workshop is being organised by Eurographics. The LIS-IHM laboratory of University of Toulouse I is handling local arrangements. The workshop has got sponsorship from: - The Centre d'Etudes de la Navigation Aerienne - The University of Toulouse I The workshop is in co-operation with the ACM SIG-CHI (pending) Programme Committee: S.Bagnara University of Siena (Italy) R.Bastide LIS - University of Toulouse I (France) M.Beaudouin-lafon LRI University de Paris Sud (France) J.Coutaz LGI-IMAG (France) A.Dix University of Huddersfield (United Kingdom) D.Duce Rutherford Appleton Laboratory (United Kingdom) G.Faconti CNUCE - C.N.R. (Italy) E.Fiume University of Toronto (Canada) J.Foley Georgia Tech, Atlanta (U.S.A.) M.Green University of Alberta (Canada) R.J.K. Jacob Naval Research Laboratory (U.S.A.) M.Harrison University of York (United Kingdom) P.Palanque LIS - University of Toulouse I (France) F.Paterno' CNUCE - C.N.R. (Italy) A.Sutcliffe City University London (United Kingdom) P.Sukaviriya Georgia Tech, Atlanta (U.S.A.) M.Tauber University of Paderborn (Germany) Information: Manuscripts and requests for information should be sent to: P. PALANQUE, LIS / University of Toulouse I place Anatole France 31042 Toulouse Cedex (FRANCE) Email : dsv-is@cena.dgac.fr - Fax : (33) 61 63 37 98