(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>