Petros Papapanagiotou
Fri 07 Apr 2017, 12:00 - 13:00
Informatics Forum (IF-1.16)

If you have a question about this talk, please contact: Sofia Ceppi (sceppi)

I will give an update on our more recent work with LSC, our locally developed calculus of protocols for social coordination, focusing on 3 topics:
(1) Updates to the language and implementation: a brief overview of the introduced state-based semantics and the deployment for real world applications.
(2) An application of LSC for simulation and hazard analysis in UAVs (with Flavio Soares Correa da Silva in Sao Paolo, Paul Chung in Loughborough, Rajiv Murali & Andrew Ireland in Heriot-Watt).
(3) Sociograms: a graphical tool for the rapid assembly of social machines (with Max Van-Kleek in Oxford).

This is work in progress and involves the Edinburgh SOCIAM team, including Dave Murray-Rust, Dave Robertson, Alan Davoust, and Areti Manataki.