University of York, Department of Computer Science

Seminar Series Autumn 2001

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


Select below for more details on individual seminars:

  • 17 October, Mark Wallace (IC-Parc)
    "Two Small Steps from Procedural Programming to Modelling and Solving Complex Problems"
  • 24 October, James Cussens (Univ. of York)
    "Learning Grammars by Failing to Parse"
  • 31 October, Peter Flach (Univ. of Bristol)
    "Confirmation-Guided Discovery of First-Order Rules from Structured Data"
    Further Information about Tertius
  • 7 November, Room CS/122, Edward Tsang (Univ. of Essex)
    "Stochastic Constraint Research at Essex"
  • 14 November, Tony Sale (ex Museums Director, Bletchley Park)
    "Heath Robinson and Colossus Versus Lorenz: WW II Code Breaking in Bletchley Park"
    Further Information
  • 21 November, Nick Pears (Univ. of York)
    "Visual Navigation for Mobile Robots"
  • 28 November, 16:00, Susan Stepney (Logica UK Ltd.)
    "Z Specification and Proof of a Commercial Smart Card Operating System"
  • 5 December, Phil Gray (Univ. of Glasgow)
    "Paraglide: A Mobile Information System for Anaesthetists"
  • 12 December, Richard Paige (Univ. of York)
    "Building Reliable Object-Oriented Software: The `BON' Way"


  • Seminar Organiser:

    Alan Frisch
    +44 1904 43 2745
    alan.frisch@cs.york.ac.uk



    Department of Computer Science
    Introduction News and Events University of York
    People in the Department How to find us Research
    Graduate Study Undergraduate admissions Local Information


    Last updated September 2001
    alan.frisch@cs.york.ac.uk