BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Life out on the Savannah... Formal Models meet Mixed-Reality Syste
 ms - Michele Sevegnani (University of Glasgow)
DTSTART:20150601T130000Z
DTEND:20150601T140000Z
UID:TALK59633@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:In this seminar\, I will showcase recent HCI research collabor
 ations with Steve Benford and Tom Rodden (Nottingham) involving modelling 
 and analysis for the strategic location-based pervasive mixed reality game
  ‘Savannah’. I will describe a novel bigraphical model of four perspec
 tives of the system (computational\, technical\, human and physical)\, tha
 t provides new ways to analyse relationships between the perspectives and 
 prove formally that there are cognitive dissonances in the system\, as exe
 mplified by user-trials. No bigraph algebra is required\, everything is do
 ne in graphical form (i.e. pictures)!\n\nBio: Dr Michele Sevegnani is an E
 PSRC Doctoral Prize Research Fellow at the University of Glasgow\, based i
 n the School of Computing Science (http://dcs.gla.ac.uk/~michele/). His re
 search addresses reasoning about reliability and predictability of locatio
 n-aware\, event-based\, software systems\, particularly systems that are a
 lready deployed. His research focus lies on the boundaries between Mathema
 tics (logics\, category theory\, probability) and Computer Science (event-
 based systems\, predictive modelling\, runtime verification\, ubiquitous s
 ystems\, models of logical space). Current work involves:\n\n- requirement
 s analysis for air traffic control engineering and communicating systems\n
 \n- techniques for the formal modelling and analysis of mixed\nreality sys
 tems\,\n\n- conceptual frameworks for modelling and analysis of\nheterogen
 eous mobile robotic systems.\n
LOCATION:FW26\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR