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

Seminar Series Summer 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, 1st May, Roger Duke
    A Formal Approach to Software Reuse
  • Wk 2, 8th May, Chris Mellish
    DCGs: Parsing as Deduction?
  • Wk 3, 15th May, No seminar UNIVERSITY OPEN DAY
  • Wk 4, 22nd May, R. Cipolla
    DCGs: Structure and motion for curved surfaces
  • Wk 5, 29th May, Graham Birtwistle
    Specifying and Verifying AMULET in CCS
  • Wk 6, 5th Jun., Anthony Finkelstein
    Title to be announced.
  • <- Back to index of seminar series
    Peter C. Wright / +44 1904 43 2747 / <pcw@cs.york.ac.uk>