From HERZNER@zdvaxa.una.ac.at Mon Apr 25 15:24:00 1994 Received: from Pap.UniVie.AC.AT (apap2.pap.univie.ac.at) by dkuug.dk with SMTP id AA00645 (5.65c8/IDA-1.4.4j for ); Mon, 25 Apr 1994 15:24:38 +0200 Received: from DECNET-MAIL by Pap.UniVie.AC.AT (PMDF #12401) id <01HBLHVKRCR4C19E3Q@Pap.UniVie.AC.AT>; Mon, 25 Apr 1994 15:24 GMT+0100 Date: Mon, 25 Apr 1994 15:24 GMT+0100 From: "Wolfgang Herzner OeFZS/Dep.IT +43 2254 780 3121" Subject: Workshop Announcement To: omhega@fokus.gmd.de, sc24@dkuug.dk Message-Id: <01HBLHVKRCR4C19E3Q@Pap.UniVie.AC.AT> X-Vms-To: @PH$:IT,AUNIW::IN%"omhega@fokus.gmd.de",AUNIW::IN%"sc24@dkuug.dk" X-Charset: ASCII X-Char-Esc: 29 From: AUNIW::IN%"Sabine.Coquillart@inria.fr" "Sabine Coquillart" 22-APR-1994 16:54:48.75 To: IN%"Sabine.Coquillart@inria.fr" CC: Subj: Eurographics Workshop on Design, Specification, Verification of Interactive Systems Received: from concorde.inria.fr by Pap.UniVie.AC.AT (PMDF #12401) id <01HBHE5BY6CGC7JMO3@Pap.UniVie.AC.AT>; Fri, 22 Apr 1994 16:53 GMT+0100 Received: from bora.inria.fr (bora.inria.fr [128.93.24.32]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id QAA16558; Fri, 22 Apr 1994 16:52:29 +0200 Received: (from sabine@localhost) by bora.inria.fr (8.6.8/8.6.6) id QAA18112; Fri, 22 Apr 1994 16:52:12 +0200 Date: Fri, 22 Apr 94 16:52:12 +0200 From: Sabine Coquillart Subject: Eurographics Workshop on Design, Specification, Verification of Interactive Systems To: Sabine.Coquillart@inria.fr Message-id: <199404221452.QAA18112@bora.inria.fr> Dear Colleagues, This announcement is the advance programme for a Eurographics Workshop on "Design, Specification, Verification of Interactive Systems". 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 ---------------------------Announcement Text ------------------------- Eurographics Workshop Design, Specification, Verification of Interactive Systems Carrara (Italy) 8-10 June 1994 Sponsors: Eurographics, ERCIM, CNUCE - C.N.R. 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. The topics of interest fo the workshop discussion are: - 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. The workshop will be held at the Monastero S.Croce, Bocca di Magra (La Spezia). The workshop fee is 550.000 Italian Lire for Eurographics members and 650.000 Italian Lire for non Eurographics members including workshop documentation, coffe breaks, full accomodation and one social dinner. Accomodation will be supplied from the evening of Tuesday 7th June to the early afternoon of Friday 10th June. Secretariat: Elena Lofrese, CNUCE, Email: elena@vm.cnuce.cnr.it, Fax: +39 50 904052/589354. Program Committee: S.Bagnara, D.Duce, G.Faconti, E.Fiume, M.Gangnet, P. ten Hagen, M.Harrison, R.Hartson, D.Olsen, F.Paterno', A.Sutcliffe, P.Sukaviriya, M.Tauber. If you are interested in attending the workshop please send your requests to: Dott. Fabio Paterno', CNUCE-C.N.R., Via S.Maria 36, 56126 Pisa, Italy; Email: paterno@vm.cnuce.cnr.it. WORKSHOP PRELIMINARY PROGRAMME 8 June ------ 08.30 Registration 08.55 Welcome - Fabio Paterno' (CNUCE - C.N.R.) 09.00 Keynote Speaker: Jim Foley GVU Center & College of Computing, Georgia Tech, Atlanta 10.00 Topic: Modelling in Design of Interactive Systems (Chair P.Sukavitiya) ------------------------------------------------- 10.00 Bridging the Gap from Conceptual Design to Software Design W.D.Hurley University of Pittsburgh, Pittsburgh, USA 10.30 A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype F.Bodart, A.Hennebert, I.Provot, J.Leheureux, J.Vanderdonck Facultes Universitaires Notre-Dame de la Paix, NAMUR, Belgium 11.00 Coffee break 11.30 The BOSS-System: Coupling Visual Programming with Model Based Interface Design S.Schreiber Munich University of Technology, Munich, Germany 12.00 Discussion in Working Groups 13.00 Lunch 15.00 Topic: Tasks and Specification (Chair M.D.Harrison) ------------------------------ 15.00 Modelling Interactive Systems and Providing Task Relevant Information B.Fields, M.Harrison, P.Wright University of York, Department of Computer Science, York, U.K. 15.30 A Framework for Precise, Reusable Task Abstractions R.Hartson, K.Mayo Virginia Tech, Blacksburg, USA 16.00 Why are Analogue Graphics and Natural Language both Needed in HCI? N. O. Bersen Center for Cognitive Science, Roskilde University, Denmark 16.30 Coffee break 17.00 Topic continued: discussion in working groups 18.00 End of discussion 9 June ------ 09.00 Keynote speaker: Phil Barnard (Chair G.P.Faconti) M.R.C. Applied Psychology Unit, Cambridge, U.K. 10.00 Topic: Formal Specification (Chair D.A.Duce) --------------------------- 10.00 LADA - a logic for the Analysis of Distributed Actions A.Dix University of York, Department of Computer Science, York, U.K. 10.30 Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism P.A.Palanque, R.Bastide L.I.S., Universite' Toulouse I, Tolouse, France 11.00 Coffee break 11.30 Modelling Interaction Properties for Interactive Case Memories A.Dearden, M.Harrison University of York, Department of Computer Science, York, U.K. 12.00 Understanding Direct Manipulation Interaction Algebraically R.Took University of York, Department of Computer Science, York, U.K. 12.30 Lunch 15.00 Topic continued: discussion in working groups 16.30 Coffee break 18.00 End of discussion 20.00 Social dinner 10 June ------- 9.00 Plenary session discussion: reports from the working groups 11.00 Coffee break 11.30 Plenary session discussion: future deadlines 13.00 end of workshop - lunch Accepted papers for discussion: ------------------------------- Modeling and Analyzing Human-Computer Dialogues with Protocols H. de Bruin, P.Bowman, J. van den Bos Erasmus University Rotterdam, Rotterdam, The Netherlands A Human-Computer Collaboration Paradigm for Bridging Design Coceptualization and Implementation P.Luo University of Southern California, Marina del Rey, CA 90292, USA User Centred System Modelling using the Template Model C.R.Roast, M.D.Harrison Computing and Management Sciences, Sheffield Hallam University, Sheffield, U.K. Using an Abtract Model for the Formal Specification of Interactive Graphics Systems J.C.Torres, B.Clares Dpt. Lenguajes y Sistemas Informaticos, Universidad de Granada, Granada, Spain Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices G.Faconti, A.Fornari, N.Zani CNUCE - C.N.R., Pisa, Italy Object-Oriented Modelling and Specification for User Interface Design M. van Harmelen University of Manchester, Manchester, United Kingdom A Tool-supported Approach to the Refinement of Interactive Systems F.Paterno', A.Leonardi CNUCE - C.N.R., Pisa, Italy Grammar-based Formal Specification for the Object-Oriented User Interface Development A.Limpouch Department of Computers, Faculty of Electrical Engineering, Czech Technical University, Czech Republic The Requirements Engineering of User Freedom M.Harrison, A.Blandford, P.Barnard University of York, Department of Computer Science, York, U.K. Folding Human Factors into Rigorous Development D.Duke, M.Harrison University of York, Department of Computer Science, York, U.K. General Information ------------------- Location The workshop will be held at Monastero S.Croce, Bocca di Magra (La Spezia), which is a monastery kept by monks. How to get to Monastero S.Croce? One bus will be available for workshop participants on the 7th afternoon in Pisa and another bus will be available for all workshop participants at the end of the workshop on the 10th afternoon. Further details on time of departure will be communicated by e-mail. If you want to get there by yourself: By train: take the line Genova-Roma, get out at La Spezia (25 Km from the workshop site), or Sarzana (10 Km.) or Carrara-Avenza (15 Km.) and take a taxi. By car: take the motorway Genova-Livorno. Get out at the "Sarzana" Exit (10 Km.). Take direction to Lerici and immediately after take direction to Bocca di Magra. At the village entrance, follow the indication "Monastero S.Croce".