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 2007


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

Select below for more details on individual seminars.


  • 17 January, no seminar
  • 24 January, Michael Hübner (University of Karlsruhe, Germany)
    "Exploitation of Dynamic and Partial Reconfiguration for Adaptive Embedded Electronic Systems"
    Visit hosted by Kester Clegg
  • 31 January, Leonardo Freitas (University of York)
    "Mondex - Verified Software Repository Grand Challenge"
  • 7 February, Colin Runciman (University of York)
    "Three Experiments in Metatesting"
  • 14 February, Gerhard Weber (Technical University of Dresden)
    "Personalizing Pedestrian Navigation"
    Visit hosted by Helen Petrie
  • 21 February, Stephen Emmott (Microsoft Research Europe)
    "Towards 2020 Science"
    Visit hosted by Susan Stepney.
  • 28 February, Rogerio De Lemos (University of Kent)
    "Architectural Fault Tolerance for Dependable Software"
    Visit hosted by Ana Cavalcanti
  • 6 March (Tuesday), 4:15, Alan Bundy (University of Edinburgh)
    Distinguished Lecturer in Knowledge Representation and Reaoning
    "Cooperating Reasoning Processes: More Than Just the Sum of Their Parts"
    Broadcast on Access Grid from University of Leeds
  • 7 March, Alan Bundy (University of Edinburgh)
    Distinguished Lecturer in Knowledge Representation and Reaoning
    "A Crisis in Mathematics?"
    Visit hosted by Alan Frisch.
  • 14 March, Jim Austin (University of York)
    "How Does the Brain Compute?"


  • Seminar Organiser:

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