Departmental Seminar Series
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
+44 1904 43 2745