Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.
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)
Venue
In 2016, STAF will be hosted at TU Wien located in the center of Vienna. Vienna, the capital of Austria, is a city of over 1.8 million inhabitants. It is one of the renowned cultural centers of Europe with an eventful history. Also TU Wien looks back on a successful 200 years lasting history. TU Wien is among the most successful technical universities in Europe and the largest technical scientific and educational institution of Austria. For 200 years, TU Wien has been a place of research, teaching, and innovation in the service of progress.
Date
July 4-8, 2016Location
TU WienElektrotechnisches Institut
Gußhausstraße 29
1040 Wien
Austria