(UK) SafetyNet Conference

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Cliff Jones Wed, 05 Sep 1990 13:51

#183

Author: Cliff Jones
Date: Wed, 05 Sep 1990 13:51

156 lines
4038 bytes

		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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads