This Week's Talks
More detailed information may be found from the following
group seminar pages
Formal Analysis,
Theory and Algorithms Research Group
GIST
Information
Retrieval
Embedded, Networked, and Distributed Systems
Research Corner
Cakes Talks
Week Beginning Monday May 14, 2012
| Monday | Tuesday | Wednesday | Thursday | Friday |
4:00, Sir Alwyn Williams Building, 422 Seminar Room 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.
[FATA talk] Of bison and bigraphs: modelling interactions in physical/virtual spaces
Muffy Calder
[GIST] Wanda Diaz Merced
Wanda Diaz Merced
TBA