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

Seminar Series Spring 2001

All Seminars are on Wednesdays at 2:00pm in CS103 unless otherwise indicated.

Select below for more details on individual seminars:

  • 17 January, 13:20, Anthony Finkelstein (University College London).
    " Link Generation and Consistency Management as an Application Service"
  • 24 January, No seminar.
  • 31 January, No seminar.
  • 7 February, Stephen Pulman (Oxford University).
    "Bidirectional Contextual Resolution"
    ( Slides for this talk.)
  • 14 February, Detlef Plump (Univ. of York)
    "Graph Transformation"

  • 21 February, Andrew Ireland (Heroit-Watt Univ.)
    "Towards Proof Planning for High Integrity Software"

  • 28 February, Seminar cancelled due to transport problems.
  • 7 March, Guiem Bernat (Univ. of York).
    "Jorvik: A Framework for Flexible Real-Time Systems"

  • 14 March, No seminar.

  • <- Back to index of seminar series 

    Seminar Organiser:

    Alan Frisch
    +44 1904 43 2745