Subject: Workshop Announcement

From: "Wolfgang Herzner OeFZS/Dep.IT +43 2254 780 3121" <[email-masked]>
Date: Mon, 25 Apr 1994 15:24 GMT+0100

From:	AUNIW::IN%"[email-masked]"  "Sabine Coquillart" 22-APR-1994 16:54:48.75
To:	IN%"[email-masked]"
CC:	
Subj:	Eurographics Workshop on Design, Specification, Verification of Interactive Systems

Date: Fri, 22 Apr 94 16:52:12 +0200
From: Sabine Coquillart <[email-masked]>
Subject: Eurographics Workshop on Design, Specification,
 Verification of Interactive Systems
To: [email-masked]

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: [email-masked], 
             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: [email-masked].
 
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".