Joy.Reed@prg.oxford.ac.uk (06/28/90)
*************************************
Course Announcement: Introductory CSP
*************************************
20 - 24 August 1990
Oxford, England
Formal Systems (Europe) Ltd.
& Oxford University Computing Laboratory
Programming Research Group
Formal Systems (Europe) Ltd and the Programming Research Group,
Oxford University are pleased to offer an introductory CSP short
course.
Communicating Sequential Processes (CSP) is a notation for the
specification, design and analysis of concurrent systems. It was
originally presented in the late 1970's as a fragment of the design
of a simple concurrent programming language. Since then there have
been three important developments: the mathematical theory has been
developed to underpin and extend the ideas of CSP; case studies have
been conducted in the use of CSP to produce distributed systems; and
the language has been implemented in the form of occam.
Objectives: The course presents the CSP notation by introducing the
theory, presenting some case studies, and showing how to design
programs. It is an introductory course which covers the untimed
theory, with emphasis on describing and developing concurrent
systems, and introduces Timed CSP and its use in real-time systems.
Programme: Topics include the following:
Interfaces
Process Algebra - Concurrency, Sequencing, Choice
Safety Properties
Liveness Properties - Deadlock and Livelock Freedom
Non-determinism
Timed CSP
occam
Comparison with other notations
Contributors: The lecturers have developed this course over the past
five years and regularly presented it to a wide range of students,
mainly drawn from British industry and research laboratories.
Jim Woodcock
is the Atlas Fellow in Computation at Pembroke College, Oxford.
His research interests include specification, refinement and proof
of sequential and concurrent systems, and technology transfer. He
has been a consultant for IBM for the last five years working on
formally specifying and analysing the CICS transaction processing
system. He has taught courses in formal methods to over 1,500
students from industry and academia.
Jeremy Jacob
is a Research Officer at the PRG working on a project funded by
Royal Signals and Radar Establishment dealing with the development
of large, secure systems. He received his DPhil from Oxford
University, with a thesis entitled ``On Shared Systems". His
research interests include formal methods, distributed computing,
and computer security.
The five-day course consists of lectures given by Dr. Woodcock and
Dr. Jacob, interspersed with tutorial sessions. During the tutorial
sessions students have the opportunity to apply the techniques which
have been taught, with various tutors on hand to provide individual
assistance.
Location: St. Edmund Hall, Oxford University
Date: 20th - 24th August 1990
Duration: Five days
Course Fee: 800 pounds
Includes course materials, lunches and a course dinner.
Accommodation:
College accommodation is available for 150 pounds.
Includes bed, breakfast and dinner for five days.
Alternatively, a list of hotels can be supplied on request.
Contact:
Joy Reed
Formal Systems (Europe) Ltd
Unit 7, The S.T.E.P. Centre
Osney Mead
Oxford OX2 0ES
Tel: +44 865 728460
FAX: +44 865 793165
JANET: Joy.Reed@uk.ac.oxford.prg
ARPA: Joy.Reed%prg.oxford.ac.uk@nsfnet-relay.ac.uk
UUCP: ...!uunet!mcsun!ukc!ox-prg!Joy.Reed
Bookings:
Sue Charlett
Oxford University Computing Laboratory
11 Keble Road
Oxford OX1 3QD
Tel: +44 865 273898
FAX: +44 865 273839
JANET: Sue.Charlett@uk.ac.oxford.prg
ARPA: Sue.Charlett%prg.oxford.ac.uk@nsfnet-relay.ac.uk
UUCP: ...!uunet!mcsun!ukc!ox-prg!Sue.Charlett
cut here
=============================Booking Form==============================
CSP course/August 1990
Name:____________________________
Company/Institution:__________________________
Address:____________________________________
____________________________________
____________________________________
____________________________________
____________________________________
Telephone:__________________________________
Delete one:
I enclose 950 pounds for all the above plus college accommodation
from 19th August - 23rd August.
I enclose 800 pounds for course fee, course materials, lunches and
course dinner.