Events Calendar
Mar 6
15:00 - 16:00
Logics for Actor Networks
School of Computing Seminars
Professor José Fiadeiro (Royal Holloway, University of London)

Abstract

Actor Networks are a modeling framework for cyber-physica system protocols based on Latour's actor-network theory that addresses the way we now create and exploit the power of computational networks. We advance a logic for modeling and reasoning about such actor networks, which is obtained through a two-stage constrained hybridization process. The first stage results in a logic that captures the structure of actor networks and the way knowledge flows across them; the second addresses the dynamic aspects of actor networks, that is the way they can evolve as a result of the interactions that occur within them. This is joint work with Ionut Tutu (Royal Holloway University of London), Antónia Lopes (University of Lisbon) and Dusko Pavlovic (University of Hawaii).

Professor José Fiadeiro - URL : https://pure.royalholloway.ac....

Visit the event web page

Location

SW101,
Cornwallis South West,
The University of Kent,
Canterbury,
Kent,
CT2 7NF
United Kingdom
Map

Details

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

Contact: Rogério de Lemos
E: r.delemos@kent.ac.uk
School of Computing

 

Corporate Communications - © University of Kent

The University of Kent, Canterbury, Kent, CT2 7NZ, T: +44 1227 764000

Last Updated: 10/01/2012