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:
"A Process Algebra for Compensating Transactions"
Visit hosted by Jeremy Jacob
"Modelling Temporal Behaviour in Complex Socio-Technical Systems"
"Micro GRIDS: Scaling On-chip Concurrency to the End of Silicon"
Visit hosted by Chris Bailey.
"NuSPADE: An Integrated Approach to Program Reasoning"
Visit hosted by Steve King.
"Journeys in Non-Classical Computation -- a UK Grand Challenge in Computing Research"
"The Enterprise Service Bus: Fulfilling the Promise of Service-Oriented Architectures"
Visit hosted by John McDermid.
"Proactive Exploitation of Symmetry in Planning"
Visit hosted by Alan Frisch.
"Angelic Nondeterminism and Unifying Theories of Programming"
Distinguished Lecturer in Computer Science
"Abstract Machines of Systems Biology"
Visit hosted by Alan Wood.
Seminar Organiser:Alan Frisch
+44 1904 43 2745
Last updated October 2001