Department of Information Technology

An epistemic calculus for spatially distributed systems with potential applications to social networks


Sophia Knight, LIX Polytechnique, Paris

Date and Time

Tuesday, May 21st, 2013 at 15:15.


Polacksbacken, room 4306


Information protection in distributed settings is a crucial research area. With the increasing prevalence of the internet and its involvement in every aspect of people's lives, distributed systems are becoming ubiquitous, for example, social networks and cloud computing. I will present a spatial and epistemic process calculus for reasoning about spatial information and knowledge distributed among the agents of such a system. My process calculus is based on the concurrent constraint programming paradigm, with modalities as combinators in the calculus. This makes it possible to view multi-agent epistemic logic as a programming language: one particularly adapted to security and privacy concerns.

Updated  2013-05-17 10:41:44 by Björn Victor.