CASSTING 2016 - 2016 Workshop on Games for the Synthesis of Complex Systems

Cassting is a European research project funded by the European Commission under the FP7 for Information and Communication Technology. The objective of Cassting is to develop a novel approach for analysing and designing collective adaptive systems in their totality, by setting up a game theoretic framework. Currently, most of the games played on graphs are of the sort "two-player zero-sum", we aim to extend them to "multiple-player non-zero-sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.
This workshop is the final event of the Cassting project. It aims to bring together researchers working on topics related (in a large sense) to formal methods for the automatic verification and synthesis of complex systems. The workshop will be composed of four invited talks, together with contributed talks (presenting either original or already published work).
Organizers: Thomas Brihaye, Nicolas Markey