Models of Concurrency and Open Computing

 
When?
Friday 24 November 2006, 10:00 to 16:30
Where?
BCS Offices, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
Open to:
Public, Staff, Students

Models of Concurrency and Open Computing: A one day seminar to commemorate the retirement of Mike Shields.

Mike Shields devoted his research career to developing some innovative and elegant foundational work on models of concurrency. In this seminar to commemorate Mike's retirement we will argue that the need for his work has never been greater. Much of the foundational work on "Classical Computation" either explicitly or implicitly works within these assumptions [Costa and Dimuro, 2005]:

- A computing machine operates as a closed system, operating as a function to transform inputs to outputs;
- A computing machine may only use finite resources, thus dismissing infinite computations;
- The structure of the computing machine remains fixed during computation.


None of these assumptions are valid in the areas of ubiquitous computing and service oriented computing. As yet, the extended (and more realistic) domain of “Interactive Computation” does not have an agreed theoretical foundation. The talks at this seminar will all help us explore the hypothesis that “Mike’s views on true concurrency are critical to the success of developing a theory of Interactive Computation”.

Date:
Friday 24 November 2006
Time:

10:00 to 16:30


Where?
BCS Offices, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
Open to:
Public, Staff, Students

Page Owner: ees1ha
Page Created: Monday 18 May 2009 15:35:50 by csp2ap
Last Modified: Tuesday 17 January 2012 19:19:07 by sl0022
Expiry Date: Wednesday 18 August 2010 15:27:26
Assembly date: Sat Aug 24 18:18:11 BST 2013
Content ID: 4716
Revision: 2
Community: 1028