Departmental Seminar Series
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
International Distinguished Speaker
: Tom Henzinger (Ecole Polytechnique Federale de Lausanne)
"Grand Challenges for Real-Time Systems"
Visit hosted by Andy Wellings
: Manuel Oriol (University of York)
"Random testing of components with contracts"
Chaired by John McDermid
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
Phone: +44 1904 43 2813
E-mail address: First Name.Last Name@cs.york.ac.uk