BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Ubiquitous Abstract Machine - Robin Milner (University of Cambri
 dge)
DTSTART:20090608T114500Z
DTEND:20090608T130000Z
UID:TALK18507@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Informatic systems pervading our environment are going to prol
 iferate. We have few rigorous models and tools for them. The von Neumann m
 achine is no good for this\; we need an abstract machine to underpin large
  distributed mobile interactive non-deterministic systems.\n\nI propose th
 e Bigraphs model for this purpose\; I'm discussing it with people who stud
 y the design and sociology of these systems. This talk has two parts:\n\n(
 1) A brief introduction to bigraphs\, by example\, followed by a summary o
 f various categories (and the functors between them) whose arrows are bigr
 aphs.\n\n(2) An experimental representation of a game called the Savannah 
 game invented by Steve Benford at Nottingham\, in which children with lapt
 ops and GPSs pretend to be lions hunting wildebeast in the African Savanna
 h.
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR