Relay-Version: version B 2.10.2 9/18/84 +2.11; site uk.ac.ox.prgv Posting-Version: version B 2.10.3 uknet 86/05/14; site uk.ac.oxford.prg Path: prgv!daemon From: Ruaridh Macdonald (on UK.MOD.RSRE) Newsgroups: zforum Subject: Z Forum Issue 3.8 Message-ID: <22 NOV 1988 10:34:57 RM@RSRE> Date: 22 Nov 88 13:08:10 GMT Date-Received: 22 Nov 88 13:12:04 GMT Lines: 91 22nd November 1988 Z FORUM Volume 3 Issue 8 ------------------ ------- ---------------- Today's Topics -------------- Refinement Workshop Job Vacancies --------------------------------------------------------------------- Date: 17-NOV-1988 15:17:08 GMT From: R_WEEDON@uk.ac.open.acs.vax Subject: Refinement Workshop In January this year a very successful workshop on refinement was held at York and it was decided to make it into an annual event and hold the next one at the Open University, Milton Keynes on 10 - 12 January 1989. The purpose of the workshop is to discuss both current research into refinement as well as the practical use of these techniques in industry. It is also intended to give coverage to refinement as it relates to concurrency. The workshop will be divided into two parts. On Tuesday 10 Jan. there will be an introductory tutorial session on refinement covering both sequential and concurrent systems. Wednesday 11 and Thursday 12 will be devoted to about 12 workshop sessions from invited speakers and others whose submitted papers are accepted. (Please submit abstracts via e-mail (preferably) to Ray Weedon) For further information on the workshop or accomodation contact Eleanor Giles, Computing Department, Open University, Milton Keynes (tel. 0908 653037). sincerely, Ray Weedon. ----------------------------------------------------------------------- From: Pete Trueman Date: Thu, 17 Nov 88 12:38:54 GMT Subject: Job Vacancies 2 JOB ADVERTISEMENTS JOB TITLE Computer scientist in the Computer Security Group, Topexpress Ltd, Cambridge. TWO POSTS 1. Formal modelling of various aspects of secure distributed computer systems using Z, and possibly research into the theoretical aspects of formal modelling itself. 2. Research into the theoretical and practical aspects of secure system design. EXPERIENCE The candidate must have research experience e.g. PhD or industrial research. COMPUTER SECURITY GROUP The Group consists of six computer scientists, and is currently working on a long term government contract concerned with the design of a secure distributed computer systems. TOPEXPRESS Topexpress is a scientic and computing consultancy carrying out research and development on fundamental problems in the applied sciences. Work is usually carried out under contract for industry and government departments. Topexpress employs about 50 people, the majority of whom are post-doctoral researchers. Close links are maintained with the university community. Topexpress was founded in 1978 and has expanded steadily since. Since August 1987 the company has been a member of VSEL Consortium plc. FURTHER DETAILS For further details contact ngpd@uk.co.topexp, or phone Nigel Day on Cambridge (0223) 462121 *************************** END OF Z FORUM 3.8 **********************