University of YorkDepartment of Computer Science
University of York - Department of Computer Science . Public
. Staff
. Student
. Text Menus
. Javascript Off
. Help
.  

Departmental Seminar Series

Spring 2006


All Seminars are on Wednesdays at 2:00pm in CS103 unless otherwise indicated.

Select below for more details on individual seminars.


  • 18 January, Stefek Zaba (HP Labs, Bristol)
    "The Sky Is Falling -- Everything's Fine: Mass Deployment of Security Technologies and Responsible Critique"
    Visit hosted by John Clark
  • 25 January, Iain Bate (University of York)
    "Novel Approaches for Designing Real-Time Systems"
  • 1 February, David Lowe (Univ. of British Columbia, Canada)
    "Object Recognition using Invariant Local Features"
    Visit hosted by Edwin Hancock
  • 8 February, Eric C. R. Hehner (University of Toronto)
    "From Boolean Algebra to Unified Algebra"
    Visit hosted by Richard Paige
  • 15 February, Helmut Simonis (CrossCore Optimization)
    "Sudoku as a Constraint Problem"
    Visit hosted by Alan Frisch
  • 22 February, No seminar
  • 1 March, Chris Kimble (University of York)
    "A Tale of Two Concepts"
  • 8 March, Irek Ulidowski (Univ. of Leicester)
    "Reversing Algebraic Process Calculi"
    Visit hosted by Gerald Luettgen
  • 15 March, Jim Woodcock (University of York)
    "MC/DC Testing Can Be Formal Too"


  • Seminar Organiser:

    Alan Frisch
    +44 1904 43 2745
    alan.frisch@cs.york.ac.uk