(Click on above images for University and Departmental Home Pages.)
Seminar Series Autumn 1996
All Seminars are on Wednesdays at 2:15pm in X/D007 unless otherwise indicated.
Select below for more details on individual seminars:
Wk 1, 16th October, No Seminar
Wk 2, 23rd October, Ian Hayes, The University of Queensland
Coercing real-time refinement.
Wk 3, 30th October, Michael Harrison, University of York
The user context and formal specification in interactive systems.
Wk 4, 6th November, Colin O'Halloran, Defence Research Agency
Provisional title:- The Ariane 5 Failure.
Wk 5, 13th November, Jeff Sanders, PRG, Oxford
Probabilistic predicate transformers
Wk 6, 20th November, UCAS day, No seminar
Wk 7, 27th November, William Newman, Xerox Europarc, Cambridge
title to be announced
Wk 8, 4th December, UCAS day,No Seminar.
Wk 9, 11th December, 4.15pm
Bashir Nuseibeh, Imperial College
Managing Inconsistency in Software Development.
Back to index of seminar series
Peter C. Wright
/ +44 1904 43 2747