Departmental Seminar Series
Spring 2008
All Seminars are on Wednesdays at 2:00pm in CS103 unless otherwise indicated.
Select below for more details on individual seminars.
16 January, Chris Power (University of York)
"Data data everywhere, but not a drop to drink: Experiences in Validating Accessibility Guidelines and Techniques"
Seminar hosted by Helen Petrie.
23 January, Peter O'Hearn (Queen Mary, University of London)
"Automatic Program Verification with Separation Logic"
Visit hosted by Gerald Luettgen.
30 January, Grand Challenge Series: Jim Woodcock (University of York)
"Experiments in the Verified Software Repository"
Seminar hosted by John McDermid.
6 February, Distinguished Speaker: Mark Nixon (University of Southampton)
"New Approaches to Biometric Systems: Gait, Ear and Fusion"
Visit hosted by Will Smith.
13 February, Peter Ryan (University of Newcastle)
"Advances in Verifiable Voting Systems"
Visit hosted by John Clark.
20 February, Matthew White (IBM)
"Meddling with Middleware: Practising the art of large Software Engineering"
Visit hosted by Jon Timmis.
27 February, Peter Welch (University of Kent)
"A Process-Oriented Architecture for Complex Systems Modelling"
Visit hosted by Susan Stepney.
5 March, Martin Campbell-Kelly (University of Warwick)
"The History of Software Patents"
Visit hosted by Jim Austin.
12 March, Vicki Hanson (Leverhulme Visiting Professor, University of Dundee
/ IBM T.J. Watson Research Center, USA)
"The Age Wave: Technology and the Maturing Workforce"
Visit hosted by Helen Petrie.
Seminar Organiser:
Ana Cavalcanti
Phone: +44 1904 43 2813
E-mail address: First Name.Last Name@cs.york.ac.uk
Public