Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters
It serves as a compilation for researchers in formal methods and software synthesis, but is incremental as it reports on workshop proceedings without new research.
This paper compiles proceedings from two workshops on games for synthesizing complex systems and synthesis of complex parameters, held as satellite events of ETAPS'16, with a shared invited talk.
This volume contains the joint proceedings of the Workshop on Games for the Synthesis of Complex Systems (CASSTING'16) and of the 3rd International Workshop on Synthesis of Complex Parameters (SynCoP'16). The workshops were held in Eindhoven, The Netherlands, as satellite events of the 19th European Joint Conferences on Theory and Practice of Software (ETAPS'16). Both workshops are closely related in their topics as well as target audience and they shared a joint invited talk given by Giorgio Delzanno.