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 Name@cs.york.ac.uk

---