REMINDER
British Computer Society - Computer Conservation Society
2pm-5.30pm, Tuesday 5 June 2001, a Seminar, Director's Suite, Science
Museum,
London SW7, UK
PROGRAM VERIFICATION AND SEMANTICS: The Early Work
For further information, see: http://vmoc.museophile.sbu.ac.uk/pvs01/
Note: This is an open meeting and no booking is required.
Co-chairs:
Prof Jonathan Bowen (South Bank University)
Prof Cliff Jones (Newcastle University)
In this seminar, a number of pioneers will present some of their early
experiences of the field. Participants will include:
* Sir Tony Hoare (Queens University Belfast, Oxford U & Microsoft)
* Prof Robin Milner (Edinburgh & Cambridge U's)
* Prof Peter Landin (Queen Mary College London)
* Joe Stoy (Oxford University Computing Lab)
The contributions will range from formal presentations to personal
reminiscences.
Directions: the nearest tube station is South Kensington. Follow signs
through the underground walkway north to the museum (c5 minutes walk). The
Science Museum is on Exhibition Road.
--
Prof. Jonathan Bowen, Professor of Computing
School of Computing, Information Systems and Mathematics (SCISM)
South Bank University, Borough Road, London SE1 0AA, UK
URL: http://www.sbu.ac.uk/~bowenjp/
|