University of YorkDepartment of Computer Science
University of York - Department of Computer Science . Public
. Staff
. Student
. Text Menus
. Javascript Off
. Help
.  

Departmental Seminar Series

Autumn 2006


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

Select below for more details on individual seminars.

  • 18 October, Daniel Kudenko (University of York)
    "Artificial Intelligence for (Commercial) Computer Games"

  • 25 October, Chris Johnson (University of Glasgow)
    "From 9/11 to 2012: New Techniques for the Validation of Evacuation Simulation Software"
    Visit hosted by Jeremy Jacob

  • 1 November, Nick Tudor (QinetiQ)
    "Proof Versus Testing in the Context of Certification"
    Visit hosted by Richard Paige

  • 8 November, Muffy Calder (University of Glasgow)
    "Formal Methods for Biochemical Pathways"
    Visit hosted by Susan Stepney

  • 15 November, No Seminar (speaker cancellation)

  • 22 November, Philip Hargrave (Chair, Departmental Industrial Advisory Board)
    "Next Generation Networks - Design for Reliability"
    Visit hosted by Gus Vigurs

  • 29 November, Sergio Mena (University of York)
    "Modular Group Communication Protocols for Fault-Tolerant Distributed Computing"

  • 6 December, Bob Coecke (Oxford University)
    "Pictures of the Quantum World"
    Visit hosted by Sam Braunstein and Peter Hines.

  • 13 December, Chris Hankin (Imperial College)
    "Better Safe than Sorry (Probably): Principles of Program Analysis"
    Visit hosted by Colin Runciman

    • Seminar Organiser:

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