brianm@r8a.cs.man.ac.uk (Brian Monahan) (06/26/91)
British Computer Society -- Formal Aspects of Computing Science
Special Interest Group
presents:
The Fifth Refinement Workshop
Theory and Practice of Formal Software Development
8th -- 10th January 1992
London
United Kingdom
Sponsored by Lloyd's Register and Program Validation Ltd.
PRELIMINARY NOTIFICATION
The Fifth Refinement Workshop organised by the BCS FACS Special
Interest Group and sponsored by Lloyd's Register and Program
Validation Ltd., will be held at Lloyd's London offices in
Fenchurch Street, from Wednesday 8th January to Friday 10th January
1992. The subject of the Workshop is :
Refinement: the systematic decomposition of formal specifications into
designs which are functionally correct or implement important
properties such as safety or information security.
Papers are invited which address theoretical or practical issues in
the development or application of refinement methods and tools. The
organisers are aiming for a balanced mixture of tutorials, theoretical
and practical material, drawn from fully refereed papers as well as
invited speakers.
The proceedings will be published by Springer-Verlag as part of the
BCS Workshop series.
Details of the cost of the workshop, a provisional timetable and a
booking form will be distributed at the beginning of July.
DATES FOR AUTHORS
Authors intending to submit a paper should contact the technical
programme organiser or the chair, at the addresses given below, as
soon as possible. The following dates have been set:
Submission of papers 6th September 1991
Notification of Acceptance 15th October 1991
Workshop version of paper available 26th November 1991
Camera-ready copy of papers for publication 31st January 1992
ORGANISING AND PROGRAMME COMMITTEES
Prof. Bernard Carre Chair Program Validation Ltd.
Prof. Cliff Jones Technical Programme Manchester University
Dr John Cooke Loughborough University
Tim Denvir Dept. of Trade and Industry
Roger Shaw Local Arrangements Lloyd's Register
Paul Smith Publicity Secure Information Systems Ltd.
Dr Jim Woodcock PRG, Oxford
ADMINISTRATION
Chair: Prof. Bernard Carre
Program Validation Ltd.
26 Queen's Terrace
Southampton SO1 1BQ
United Kingdom
Tel: +44 (0)703 330001
Local Organiser: Roger Shaw
Lloyd's Register
Lloyd's Register House
29 Wellesley Road
Croydon CR0 2AJ
United Kingdom
Tel: +44 (0)81 681 4818
Publicity: Paul Smith
Secure Information Systems Ltd.
Sentinal House
Harvest Crescent
Ancells Park
Fleet
Hampshire GU13 8UZ
United Kingdom
Tel: +44 (0)252 811435
Technical Programme Organiser: Prof. Cliff Jones
Dept. of Computing Science
The University
Manchester M13 9PL
United Kingdom
Tel: +44 (0)61 275 6128
--
///////////////////////////////////////////////////////////////////////
/
Dr. Brian Monahan /
/
Department of Computer Science / E-mail : brianm@cs.man.ac.uk
The University of Manchester / bqm@cs.man.ac.uk
Oxford Road / Phone : (+44)-61-275-6137
Manchester M13 9PL / (New) FAX : (+44)-61-275-6236
/