BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Safety checking in a domain of collaborative applications. - David
  Greaves\, Computer Laboratory\, University of Cambridge
DTSTART:20061122T141500Z
DTEND:20061122T151500Z
UID:TALK5374@talks.cam.ac.uk
CONTACT:Timothy G. Griffin
DESCRIPTION:A closed domain of devices contains sensors\, actuators and co
 ntrolling\napplications. Examples of domains are motor cars\, oil refineri
 es and\noffice blocks.  So far\, ubiquitous computing has developed techni
 ques\nfor automated construction of ad hoc directory services and reflecti
 on\nof command APIs\, but now it needs to address automated detection of\n
 conflict.  Application code is to be statically checked for safety\,\nlive
 ness and feature interaction. The loading of new applications\nshould be b
 locked by automated deduction methods when violations might\noccur.  Dr Gr
 eaves will describe the Pushlogic solution.
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR