School of Computing

Feb 12, 2019
15:00 - 16:00
Logics for Actor Networks: a two-stage constrained-hybridisation approach
School of Computing Seminars
Professor José Luiz Fiadeiro (Royal Holloway University of London)

Title: Logics for Actor Networks: a two-stage constrained-hybridisation approach

Professor José Luiz FiadeiroRoyal Holloway University of London

Abstract:Actor Networks are a modelling framework for cyber-physical-system protocols based on Latour's actor-network theory that addresses the way we now create and exploit the power of networks whose components are no longer limited to programs, but can also include humans and physical artefacts as actors.The talk will address a logic for modelling and reasoning about such actor networks that results from a two-stage constrained-hybridisation process: the first stage corresponds to a logic that captures the structure of actor networks and the way knowledge or data flows across them; the second addresses their dynamic aspects, i.e., the way actor networks can evolve as a result of the interactions that occur within them.  For each of these stages, we have developed a sound and complete proof system, which can be used for analysing  properties of cyber-physical-system protocols. This two-stage constrained-hybridisation process advances the theoretical and practical aspects of hybrid logics by providing new insights and results that go beyond the specific domain of actor networks; in particular, and in line with Milner's bigraph paradigm, it makes a contribution to the development of formal methods for systems where connectivity and locality play a fundamental role.

Professor José Luiz Fiadeiro:

Visit the event web page


Cornwallis South West,
The University of Kent,
United Kingdom


Open to Anyone in the University and visitors are especially welcome,

Contact: Rogério de Lemos
School of Computing

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015