VeryComp 2016 - International Workshop on Formal to Practical Software Verification and Composition

Nowadays, modern applications are increasingly realized as distributed systems composing existing pieces of software that autonomically cooperates to achieve a common goal. As a matter of fact, this calls for new software composition paradigms, and patterns, modeling and verification methods that are practical and usable on one hand and formal on the other. Despite the great interest in practical Software Composition and Formal Verification in their isolation, no common and integrated approaches have been established yet. VeryComp 2016 aims at attracting contributions related to the subject at different levels, from modelling to verification and analysis, from componentization to composition. Foundational contributions, as well as concrete application experiments are sought.
Organizers:
Marco Autili (University of L’Aquila, Italy)
Massimo Tivoli (University of L’Aquila)
Luca Ferrucci (ISTI-CNR, Italy)
Manuel Mazzara (Innopolis University, Russia)
Davide Bresolin (University of Bologna, Italy)
Marcello Bersani (Politecnico di Milano, Italy)
Marisol Garcia-Valls (Universidad Carlos III de Madrid, Spain)