SPEAKERS: Giovanni Conforti, Damiano Macedoio

TITLE: Bigraphs, BiLogics and XML

ABSTRACT:
Bigraphs are emerging as an interesting model for concurrent calculi,
like pi-calculus, ambient calculus and petri-nets.
Bigraphs are built orthogonally on two structures: a hierarchical place graph
for locations and a link (hyper-)graph for connections.
In this talk we introduce informally bigraphs and we present  
a spatial logic for bigraphical structures as a composition of
a place graph logic and a link graph logic.
The place graph logic turns out to be a generalization of spatial tree logic
(the static fragment of ambient logic) to bigraph-shaped resource contexts. The latter
is a sort of Nominal Logic describing (resource) names.
We give also an example of application of these logics to describe
and reason about XML structures and XML contexts.