Main Events
SEFM ’16
14th International Conference on Software Engineering and Formal Methods
July 5-7, 2016
Chairs:
Satellite Events
Following the tradition of previous editions, STAF 2016 will host a number of satellite events dedicated to selected topics on software technologies.
Doctoral Symposium ’16
July 4, 2016
Chairs:
Projects Showcase ’16
2nd event dedicated to international and national project dissemination and cooperation
July 7, 2016
Chairs:
BigMDE ’16
Scalable Model Driven Engineering
July 8, 2016
Organizers:
- Dimitris Kolovos (University of York, England)
- Davide Di Ruscio (University of L’Aquila, Italy)
- Nicholas Matragkas (University of Hull, England)
- Jesús Sánchez Cuadrado (Universidad Autonoma de Madrid, Spain)
- István Ráth (Budapest University of Technology and Economics, Hungary)
- Massimo Tisi (Ecole des Mines de Nantes, France)
DataMod ’16
July 8, 2016
Organizers:
FORECAST ’16
FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
July 8, 2016
Organizers:
GCM ’16
July 4, 2016
Organizer:
VeryComp ’16
Formal to Practical Software Verification and Composition
July 4, 2016
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)