University of York, Department of Computer Science

Seminar Series Spring 2005

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

Select below for more details on individual seminars:

  • 12 January, in CS/122, Michael Butler (University of Southampton)
    "A Process Algebra for Compensating Transactions"
    Visit hosted by Jeremy Jacob
  • 19 January, Alan Burns (University of York)
    "Modelling Temporal Behaviour in Complex Socio-Technical Systems"
  • 26 January, Chris Jesshope (University of Amsterdam)
    "Micro GRIDS: Scaling On-chip Concurrency to the End of Silicon"
    Visit hosted by Chris Bailey.
  • 2 February, Andrew Ireland (Heriot-Watt University)
    "NuSPADE: An Integrated Approach to Program Reasoning"
    Visit hosted by Steve King.
  • 9 February, Susan Stepney (University of York)
    "Journeys in Non-Classical Computation -- a UK Grand Challenge in Computing Research"
  • 16 February, No seminar (EPSRC visit)
  • 18 February, Friday, 13:15, CS/122, Beth Hutchison (IBM, Hursley)
    "The Enterprise Service Bus: Fulfilling the Promise of Service-Oriented Architectures"
    Visit hosted by John McDermid.
  • 23 February, Maria Fox (Univ. of Strathclyde)
    "Proactive Exploitation of Symmetry in Planning"
    Visit hosted by Alan Frisch.
  • 2 March, Ana Cavalcanti (University of York)
    "Angelic Nondeterminism and Unifying Theories of Programming"
  • 9 March, No Seminar (speaker postponement)
  • 16 March, Luca Cardelli (Microsoft Research, Cambridge)
    Distinguished Lecturer in Computer Science
    "Abstract Machines of Systems Biology"
    Visit hosted by Alan Wood.

  • Seminar Organiser:

    Alan Frisch
    +44 1904 43 2745

    Department of Computer Science
    Introduction News and Events University of York
    People in the Department How to find us Research
    Graduate Study Undergraduate admissions Local Information

    Last updated October 2001