The University of York
Department of Computer Science
(Click on above images for University and Departmental Home Pages.)

Seminar Series Spring 1995

All Seminars are on Wednesdays at 2:15pm in X/D007 unless otherwise indicated.
Select below for more details on individual seminars (these are either PostScript or HTML documents):

This schedule in PostScript

  • 18 Jan, Robert Dewar, CANCELLED, The GNAT compiler: A Technical Tour
  • 22 Feb, Michael Ingleby, From FMEA to a Formal Calculus of Hazard for Railway Signalling
  • Friday 24 Feb, L/036 Jane Sinclair, Whatever became of CICS?
    This is a special 2nd year lecture, rather than a regular seminar, but is of general interest.
  • 1 Mar, Martin Anthoney, Valid Generalisation of Sets and Functions
  • Thursday 9th March, B/B006 Clive Spenser Industrial Exploitation of Prolog
    This is a special 2nd year lecture, rather than a regular seminar, but is of general interest.
  • Monday 13 Mar Robert Dewar, NEW DATE, The GNAT compiler: A Technical Tour
  • 15 Mar, David Pym, Towards process-theoretic planning

  • <-Back to index of seminar series
    Jeremy Jacob / +44 1904 43 2747 / <jeremy@cs.york.ac.uk>