CONFERENCE:'Safety Through Quality' (June 94, UK)

*******************************************************************************
* 'SAFETY THROUGH QUALITY' conference *
*******************************************************************************
                                            Monday 6th and Tuesday 7th June 1994
                            Beaumont Conference Centre, Old Windsor, Berks., UK


*******************************************************************************
********************** PROSPECTUS AND CALL FOR PAPERS ***********************
*******************************************************************************


Real Time Associates Ltd., in conjunction with the British Computer
Society Modular Languages SIG announce a major 2 day International
Conference - `Safety Through Quality'.


With the increasing use of modular programming languages for safety
critical applications, the event is organised to embrace these, and the
wider issues of designing and building safe systems through attention to
quality.


The conference has been carefully arranged to contrast and encourage
debate through comparing practical approaches that have been adopted - or
are being contemplated - by the speakers for real world applications.


Although this prospectus constitutes an outline of the agenda, we are
pleased to say that all companies and organisations mentioned in the
provisional programme have confirmed that they will be presenting their
papers and we thank them for their support and encouragement.


The call for papers is designed to solicit further contributions in the
theme of the conference.


The organisers acknowledge the co-operation of the `Safety-Critical
Systems Club' (UK).


*******************************************************************************
********************************** THEME ************************************
*******************************************************************************


Approaches ...


    * Language design & compiler verification
    * The place and importance of Formal Methods
    * Automated testing of application code
    * Weak links - the software / hardware interface.
    * Neural networks - a different approach to the same goal


Implementation ...


    * Case tools for safe design
    * The place of reverse engineering
    * The safety & quality of modern OOPs languages
    * Parallel processing - too complex to be safe?
    * The role of basic support tools - debuggers etc.


Psychological Issues...


    * Are system designers and programmers trained in quality and safety issues?
    * Quality assurance in project management - bargaining for safety testing
    * The burgeoning of 'FATWARE' operating systems, compilers and utilities to
          achieve safe results - is this possible?


Legal Issues ...


    * The need for accountability
    * Standards
    * Current Legislation
    * Civil Liabilities


*******************************************************************************
************************** PROVISIONAL PROGRAMME ****************************
*******************************************************************************


Computer based systems effect all aspects of our lives, and so they should be
safe. But are they?


The presentations are designed to contrast and encourage debate in the
quality approach and safety considerations adopted by different companies
and organisations involved in areas such as those shown below. We hope
that by comparing alternative approaches, the conference and debate will
be synergetic to safer systems development.


    * Military & Aerospace
          Speakers from Russian Military, NASA


    * Nuclear Reactor Control
          Speakers from LDRA Ltd. (UK), Atomic Energy of Canada Ltd (AECL)


    * Accounting & Finance (integrity in accounting systems)
          Speakers from Coopers&Lybrand, KPMG.


    * Neural Networks (The Alternative Approach)
          Speakers from CalTech(USA) - hybrid neural network / expert system for
          telephone network management. University of Exeter - new theories and
          practices


    * Virtual Reality (As an aid to Fire Fighting)
          Speakers from Human Engineering Technologies Ltd.


    * Automobile Control Systems
          Ford Motor Co, Rover Group Ltd.


    * Railway Control
          HM Railway Inspectorate (UK), Matra Transport (France)


    * Quality Control Mechanisms & Law
          Lloyds Register, Exxel consultants - R.J. McQuaker (Vice President of BCS)


  ** KEYNOTE PAPER
        Brian Wichmann of National Physical Laboratory (UK)
        Modularisation for Assurance (and how we gauge safety & quality).


*******************************************************************************
***************************** CALL FOR PAPERS *******************************
*******************************************************************************


Papers in accordance with the Conference theme are invited from any
source. Please send max. 500 word abstract to the programme committee not
later than March 14th 1994. Notification of accepted papers will be given
to the authors before April 15th 1994,where upon full papers will be
expected by May 6th 1994. Both abstracts and full papers should be
submitted in machine readable form - either by disk (pref. 3.5", IBM PC
format or Unix TAR) or by email - in ASCII or any popular word or desk top
publishing format. All submissions must be accompanied by a hard copy as
an aid to setting the proceedings.


Submissions to :


            The Programme Committee
            c/o Real Time Associates Ltd.
            Canning House
            59 Canning Road Tel : (+44)(0)81 656 7333/4/5
            Croydon Fax : (+44)(0)81 655 0401
            Surrey
            CRO 6QF Internet : conference@rtal.demon.co.uk
            UK CompuServe: 71333,2346




The working language of the conference is English, and will be used for
all presentations and printed material.


The proceedings are likely to be post published by Oxford University Press
and we hope that selected papers will be published in the new, peer
reviewed, international journal `High Integrity Systems' also published by
Oxford University Press. The Programme Committee will hold copyright on
the Proceedings material for this and the duration of the Conference. Any
exceptions to this copyright scheme should be clearly indicated at the
time of the submission.


The programme committee will not unreasonably withhold transfer of
copyright, which, after this period, will reside with the authors or their
organisations.


*******************************************************************************
****************************** THE CONFERENCE *******************************
*******************************************************************************


Beaumont Conference Centre at Old Windsor is situated close to the River
Thames and is adjacent to both Runnymede (Magna Carta & Kennedy Memorial)
and Windsor Castle. Heathrow airport is just 10 miles away and Central
London a 30 minute train journey.


A short walk over Windsor Bridge to Eton allows you to browse antique
shops, art galleries and soak up the atmosphere of this historic town.


The Eighteenth Century Georgian house is set within fifty acres of gardens
and park lands and overall provides a combination of traditional elegance
and modern comforts.


Recreational facilities include heated swimming pool, squash & tennis
courts, a nine hole pitch & putt golf course and croquet on the garden
lawn. For those that prefer the less physical sports, snooker, pool, darts
and various board games are also available.


Residential accommodation will be split between Beaumont itself and the
adjacent Heathrow Marriott Hotel. All rooms are equipped with en-suite
bathrooms, telephone, TV, etc. and are charged at the same rate. A
courtesy coach service is provided between Beaumont and the Marriott
Hotel, and from all four Heathrow Airport terminals to/from the Marriott.


The larger Marriott accommodation is more suitable should you wish to
bring a partner. Depending upon uptake, the organising committee will
arrange a social programme for partners, to be run in parallel with the
conference.


*******************************************************************************
******************************** REGISTRATION *******************************
*******************************************************************************


The residential fee for the two day Conference is GBP#420 to include
conference attendance, proceedings, two nights accommodation at Beaumont
(Sunday 5th, Monday 6th June) and all meals (breakfast, lunch & dinner)
and usual coffee & tea refreshments.


The non-residential fee is GBP#220 to include conference attendance,
proceed- ings, lunch and coffee & tea refreshments. Tickets for the
Conference banquet on the evening of Monday 6th June are available for
residential delegates at GBP#35 and for non-residential at GBP#45. After
dinner speech by the entertain- ing Mr Michael Bailey - 'Quality is No
Illusion'.


Arrangements have been made to book supplementary accommodation for
residential delegates at a concessionary rate prior to, and after the
Conference. This will be charged at the special rate of 80 per day for
dinner bed and breakfast. Partners sharing a delegates room will be
charged a supplement of GBP#20 /day for bed and breakfast accomodation.


Members of the BCS Modular Languages SIG may attend the conference at a
10% discount on the conference fee (residential or non-residential). This
discount will not apply to supplementary or partner rates.


The above rates are subject to the addition of UK VAT at 17.5%. A full VAT
invoice will be issued. Monies are accepted in USD.


The conference is limited to a maximum of 100 attendees, so please book
early to secure your place. Pre-payment is required before attendance is
possible.


*******************************************************************************
**************************** BOOKING DETAILS ********************************
*******************************************************************************


To Book, please contact Real Time Associates Ltd (See 'Call For Papers'
above for details), stating address. You will be sent details and a
booking form by return post.


*******************************************************************************
********************************* CALENDAR ************************************
*******************************************************************************


                      +----------------------------+-----------------+
                      | Abstracts by | March 14th 1994 |
                      +----------------------------+-----------------+
                      | Acceptance Notification | April 15th 1994 |
                      +----------------------------+-----------------+
                      | Full Papers by | May 6th 1994 |
                      +----------------------------+-----------------+
                      | Final Conference Programme | May 16th 1994 |
                      +----------------------------+-----------------+
                      | Registration Deadline | May 27th 1994 |
                      +----------------------------+-----------------+
                      | Conference | 6-7th June 1994 |
                      +----------------------------+-----------------+


----------------------------------------------------------------------------
  'Safety Through Quality' Conference conference@rtal.demon.co.uk
----------------------------------------------------------------------------
  c/o Real Time Associates Ltd
            Canning House Tel: (+44)(0)81 656 7333/4/5
            59 Canning Road Fax: (+44)(0)81 655 0401
            Croydon, Surrey
            CR0 6QF, UK
--

Return to the comp.compilers page.
Search the comp.compilers archives again.