BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An Overview on Bigraphs\, Their Applications\, and Future Research
  Directions - Michele Sevegnani (University of Glasgow)
DTSTART:20160128T150000Z
DTEND:20160128T160000Z
UID:TALK64101@talks.cam.ac.uk
CONTACT:Liang Wang
DESCRIPTION:In the first part of this seminar\, Michele will introduce big
 raphs with sharing\, a universal process algebra for temporal and spatial 
 evolution\, based on Milner’s original bigraphs. \n\nThe second part wil
 l feature three applications:\n* a communication protocol for wireless int
 erference\,\n* domestic wireless network management\,\n* a strategic locat
 ion-based pervasive mixed-reality game.\n\nFinally\, in the third part Mic
 hele will illustrate some research directions he is going to explore durin
 g his stay in the Computer Lab. \nNo bigraph algebra is required\, everyth
 ing is done in graphical form (i.e.\, pictures)!\n\nBIO:\nMichele is an EP
 SRC Doctoral Prize Research Fellow at the University of Glasgow. His resea
 rch focusses on the theory of bigraphs and how to use it to reason about s
 afety\, reliability and predictability of location-aware\, event-based\, s
 oftware systems\, particularly complex systems that are already deployed. 
 He was recently involved in the development of a runtime verification syst
 em for home networks management (with the Homework project) and in the mod
 elling and analysis of a mixed reality game (the Savannah game from the MR
 L in Nottingham).
LOCATION:FW26\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR