ACM SIGCHI General Interest Announcements (Mailing List)


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
Mon, 28 Jul 1997 13:28:17 -0400
"ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
text/plain (210 lines)
>From bob Mon Jul 28 17:01 BST 1997
From: Bob Fields <[log in to unmask]>
To: [log in to unmask],  [log in to unmask],
        [log in to unmask], [log in to unmask],
        [log in to unmask], [log in to unmask],
        [log in to unmask], [log in to unmask], [log in to unmask],
        [log in to unmask], [log in to unmask],
        [log in to unmask], [log in to unmask],
        [log in to unmask], [log in to unmask],
        [log in to unmask], [log in to unmask],
        [log in to unmask], [log in to unmask], [log in to unmask],
        [log in to unmask],[log in to unmask],[log in to unmask]
Subject: Safecomp'97 Call for Participation
Content-Type: text
Content-Length: 6838

[ Apologies for the inevitable multiple copies.
  The early registration deadling for SAFECOMP'97 is almost upon us. ]

             Advance Programme and Call for Participation

                 The 16th International Conference on
              Computer Safety, Reliability and Security


                        University of York, UK
                       September 8th-10th, 1997

                             Sponsored by
European Workshop on Industrial Computer Systems Technical Committee 7
                             (EWICS TC 7)

The SAFECOMP conference reviews the state of the art, experiences and
new trends in the areas of computer safety, reliability and
security. The conference focuses on critical computer applications and
forms a platform for technology transfer between academia, industry
and research institutions.  In 1997, the 16th SAFECOMP conference will
be held at the University of York, located in the medieval city of

Advance Programme

Sunday 7 September 1997

Four tutorials are currently scheduled for the afternoon of Sunday 7
        Tutorial 1:     Requirements specification
        Tutorial 2:     Computer Systems Security
        Tutorial 3:     Management of Safety Critical Systems
        Tutorial 4:     The IEC 1508 Standard
More details on tutorials are available or request or from the WWW

Monday 8 September 1997

 9.00 Welcome
 9.15 Invited presentation
10.15 Coffee
10.45 Safe software
      Software-based safety critical system: a taxonomy -- H. Papini,
            F. Simon
      Safety assessment of software based systems -- G. Dahll
      Safe and reliable computer control systems: a survey -- H. Thane
      Towards dependable software requirements specification --
            S. Scheer, T. Maier
12.45 Lunch
      Safety cases, management and development
      Safety case construction and reuse using patterns -- T. Kelly
            and J. McDermid
      A systematic approach to softeare integrity levels -- P. Lindsay
            and J. McDermid
      Integration of safety requirements in the initial phases of the
            project lifecycle of hardware software systems --
            M. Wilikens, M. Masera, D. Vallero
16.15 Applications and industrial experience
      Embedded systems in avionics and the SACRES approach --
            P. Baufreton, X. Mehaut and E. Rutten
      Towards safer industrial computer controlled systems --
            P. Croll, C. Chambers, M. Bowell and P. Chung
      Safety Cases for software intensive systems: an industrial
            experience report -- S. Barker, I. Kendall, A. Darlison
17.45 Panel session: The use of PCs in Safety related systems
            (D. Inverso, S. Anderson,R. Bloomfield)
18.15 Close

      Evening reception in the Guildhall, York.

Tuesday 9 September 1997

      Invited presentation
      EWICS TC7 Session
      Guidelines, standards and certification
      High integrity Ada -- B. Wichman
      Towards an automotive safer subset of C -- P. Edwards,
            R. Rivett, G. McCall
      Computer based support for standards and processes in safety
            critical systems -- S. Wilson, J. McDermid, P. Kirkham,
            C. Pygott,  D. Tombs
      An assessment of the IEC 1131-3 standard on languages for
            programmable controllers -- K. Tourlas
13.00 Lunch
14.30 Formal methods and models
      Refinement and safety analysis -- K. Lano
      Automated verification of safety requiremetns using CCS and
            binary decision diagrams R. Lichtenecher and K. Gotthard
      Consistency verification by type inference and constraint
            satisfaction -- Y. Lebbah
      Safe combination of services using B -- B. Mermet and D. Mery
      An object-based approach to modelling and analysis of failure
            properties -- M. Cepin, R. de Lemos, B. Mavko, S. Riddle
            and A. Saeed
      Formal methods and models - continued
17.45 Close

      Conference banquet at the National Railway Museum, York.

Wednesday 10 September 1997

 9.00 Testing, validation and verification
      Dynamic decision making on checkpointing by use of reduced
            ordered binary decision diagrams(ROBDDs) -- F. Saglietti
      Practical assessment of neural network applications --
            I. Nabney, M. Paven, R. Eldridge, C. Lee
      Software test techniques for system fault tree analysis --
            J. Knight and L. Nakano
10.30 Coffee
11.00 Security and human factors
      Safety and security for and advanced train control system --
            J. Braband
      Cryptographic protocols over open distributed systems: a
            taxonomy of flaws and related protocol analysis tools --
            S. Gritzalis and  D. Spinellis
      Using executable interactor specifications to explore the impact
            of operator interaction errors -- A. Dearden and M. Harrison
      Closing address by Safecomp'97 chairs and Handover to
            Safecomp'98 chairs
13.15 Lunch

Registration and Accommodation Bees

The fees for registration (in pounds sterling) are
        295 before August 8
        350 thereafter
        175 for students and speakers.

A number of types of accommodation are available on the University of
York campus, at the following prices (in pounds sterling).
        single, ensuite         31
        single, standard        22
        twin, ensuite           52.80
        twin, standard          44

All types of accommodation are available for the nights of the
conference (7, 8, 9 September). Only a limited number of rooms will be
available on the Saturday (6th) and Wednesday (10th), and they will be
allocated on a first-come-first served basis.

We can also provide, on request, details of hotels in the city of York.

Tutorials fees are 225 pounds for registrations before 8 August, and
275 pounds thereafter. The four tutorials all run concurrently, so
it's only possible to attend at most one.

Exhibition space is available for hire by organisations wishing to
display products, tools, services books, and so on. Please contact
our Exhinitions Chair, Darrent Buttle ([log in to unmask]), for more
information about prices and availability.

Contact Details
For more information about the conference, and registration details
visit our world wide web site at:

or contact:

Ginny Wilson
Department of Computer Science                    Tel: + 44 1904 432782
University of York                                Fax: + 44 1904 432708
York, Y01 5DD, UK                      Email: [log in to unmask]