University of York Department of Computer Science
University of York - Department of Computer Science . Public
. Staff
. Student

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