What's on in Computing Science?

Date: Tuesday, 15 May, 2012
Time: 16:00
Location: Sir Alwyn Williams Building, 422 Seminar Room
[FATA talk] Of bison and bigraphs: modelling interactions in physical/virtual spaces
Muffy Calder

Mixed reality systems present a wide range of challenges for formal modelling -- how can we model interactions in both physical and virtual spaces?

We start to explore this question through a specific application: modelling Steve Benford's Savannah game using Bigraphical reactive systems. The Savannah game is a collaborative, location-based game in which groups of `lions' (i.e. children with devices) hunt together on a virtual savannah that is overlaid on a (physical) open playing field.

This work is in the preliminary stages and so unusually for a formal methods talk, we will not give the details of *any* formal models! Instead we will focus on which aspects of the game we can formalise and reason about, and assumptions about the level of detail required for the physical space and for the virtual space.

Contact: Dr Oana Andrei (oana.andrei@glasgow.ac.uk)

Add to my calendar