Petros Papapanagiotou
Fri 01 May 2015, 12:00 - 13:00
Informatics Forum (IF-2.33)

If you have a question about this talk, please contact: Dimitrios Diochnos (ddiochno)

Protocols provide a tool for the modelling and execution of complex activities. As such, they provide an ideal foundation for a social computation platform. We are focusing our efforts towards building social machines using a process calculus language (LSC) as the lingua franca.
I will give an overview of the language and the directions we are taking the system both theoretically and practically, including: formal verification of the language and properties of protocols; creating intelligent workflows for the development and monitoring of social machines; creating connected provenance trails; and developing zero barrier-to-entry electronic institutions to support human interaction.