Xref: utzoo comp.specification:139 comp.software-eng:4146
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!aplcen!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.specification,comp.software-eng
Subject: (UK) SafetyNet Conference
Summary: Provisional Programme
Message-ID: <1669@m1.cs.man.ac.uk>
Date: 5 Sep 90 13:51:50 GMT
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Followup-To: comp.specification
Organization: Department of Computer Science, University of Manchester UK
Lines: 156


		THE SAFETYNET '90
		  CONFERENCE
	  	 & EXHIBITION

	--------------------------------

		FORMAL METHODS
		    FOR
		CRITICAL SYSTEMS
		 DEVELOPMENT

	--------------------------------


	   Royal Aeronautical Society
	   (4 Hamilton Place, London)	

		Tues 16th October
	      Wed 17th October 1990

               Registration & Coffee
		9.00a.m. - 9.30a.m.


	SafetyNet, PO Box 79, 19 Trinity Street
		Worcester, WR1  2PX
	   Tel: 0905 611512  Fax: 0905 612829




SafetyNet '90		Programme Day 1			16th October

09.00 - 9.30		Registration & Coffee		

09.30			General Chair			Digby A. Dyke
							Editor, SafetyNet

09.40			Session 1 Chair			Dr. John Kershaw
							RSRE

09.50			Tutorial 1:
			An Introduction			Soren Prehn
			the RAISE Specification		Computer Resources
			Language			International

10.40			RAISE- A Case Study of		Soren Prehn
			a Concurrent System		Computer Resources
							International

11.15			Coffee & Exhibition viewing	

11.35			Critical Software -		Peter Jesty, Dr. Tom
			A Standard and its		Buckley, Keith Hobley
			Certification			& Margaret West
							University of Leeds

12.10			Intellectual Property		Dr. Mathew K.O. Lee
			Critical Systems		BP Research Centre

12.45			Lunch & Exhibition viewing

14.00			Product Liability (Civil	Ranald Robertson
			& Criminal) Issues for		Partner,
			Developers of Safety-		Stephenson Harwood
			Critical Software		Solicitors

14.35			Methods for Developing		Stephen Clarke, Andy
			Safe Software			Coombes & Prof John
							A McDermid
							University of York

15.10			Tea & Exhibition viewing

15.30			Panel 1:			Chair:
			What are the relationships	Prof Bernard Cohen
			among standards, certifica-	Rex, Thompson &
			tion, compliance, evidence	Partners
			and legal liability ?

16.30			Panel Summary			Prof Bernard Cohen

16.40			Closing Remarks			Dr. John Kershaw

16.45			Close of Day 1 (Please depart by 17.45)

19.30			Conference Dinner		Guest Speaker
			Le Meridien Hotel,
			Piccadilly, London



SafetyNet '90		Programme Day 2			17th October

09.00 - 9.30		Registration & Coffee

09.35			General Chair			Digby A. Dyke
							Editor, SafetyNet

09.40			Session 2 Chair			Fred Eldridge
							Rex, Thompson &
							Partners

09.50			Tutorial 2:			Peter Froome and
			A Formal Method			Jan Cheng
			for Concurrency			Adelard

10.40			Application of Formal		Dr. D.S. Neilson
			Methods to Process		BP Research Centre
			Control				

11.15			Coffee & Exhibition viewing

11.35			Proof Obligations 3:		Prof Bernard Cohen,
			Concurrent Systems		Rex, Thompson &
							Partners

12.10			Refinement in the Large		Paul Smith
							Secure Information
							Systems

12.45			Lunch & Exhibition viewing

14.00			An Introduction to		Dr. Clive Pygott
			the NODEN Hardware		RSRE
			Verification Suite

14.35			Mural - A Formal		Dr. Richard Moore
			Development Support		University of
			Environment			Manchester

15.10			Tea & Exhibition viewing

15.30			Panel 2:			Chair:
			What is inhibiting		Prof Cliff Jones
			widespread use of		University of
			Formal Methods ?		Manchester

16.30			Panel Summary			Prof Cliff Jones

16.40			Closing Remarks			Fred Eldridge

16.45			Close of Day 2 (Please depart by 17.45)



Liz Kerr
SafetyNet
PO Box 79
19 Trinity Street
Worcester  WR1  2PX
England

Tel: ++44 905 611512
Fax: ++44 905 612829