The Lightweight Social Calculus continued: UAVs and Sociograms

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.