The University of York
Department of Computer Science
(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 / <>