University of York Department of Computer Science
University of York - Department of Computer Science . Public
. Staff
. Student

Departmental Seminar Series

Autumn 2008

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

Select below for more details on individual seminars.

  • 22 October, Jon Hall (Open University)
    "From Natural Design to Problem Oriented Engineering"
    Visit hosted by John Clark
  • 29 October, Ralf Hinze (University of Oxford)
    "Trinity - A Programming Language for Teaching"
    Visit hosted by Colin Runciman
  • 05 November, Andy Wellings (University of York)
    "Java for Real-Time and High Integrity Systems"
    Chaired by Alan Burns
  • 12 November, International Distinguished Speaker: Tom Henzinger (Ecole Polytechnique Federale de Lausanne)
    "Grand Challenges for Real-Time Systems"
    Visit hosted by Andy Wellings
  • 19 November, Inaugural Seminar: Manuel Oriol (University of York)
    "Random testing of components with contracts"
    Chaired by John McDermid
  • 26 November, Visiting Professor Series: Colin O'Halloran (QinetiQ)
    "Pre-conditions for using a tool chain for verifying systems"
    Visit hosted by Jim Woodcock
  • 03 December, John Derrick (University of Sheffield)
    "Mechanising a correctness proof for a lock-free concurrent stack"
    Visit hosted by Steve King
  • 10 December, Peter A. Lindsay (University of Queensland)
    "Use of Agent-based Modelling to explore new approaches to Air Traffic Management"
    Hosted by John McDermid

  • Seminar Organiser:

    Ana Cavalcanti
    Phone: +44 1904 43 2813
    E-mail address: First Name.Last