STAF 2015

Software Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a loose umbrella organisation, with steering committee, that aims to provide continuity.

The STAF federated event runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modelling and verification, transformation, model-driven engineering, aspect- oriented techniques, and tools.

Conference organisers wishing to co-locate their event within the loose federated structure of STAF, or who are interested in hosting a future STAF event, are invited to contact members of the steering committee.

MAIN EVENTS:

• Eleventh European Conference on Modelling Foundations and Applications (ECMFA '15)
• Seventh International Conference on Graph Transformation (ICGT '15)
• Eighth International Conference on Model Transformation. (ICMT '15)
• Ninth International Conference on Tests and Proof (TAP '15)
• Eighth Transformation Tool Contest (TTC '15)
• First event dedicated to international and national projects dissemination and cooperation. (Project Showcase '15)

OTHER EVENTS CO-LOCATED AT STAF:

• STAF 2015 Doctoral Symposium
• Third Workshop on Scalable Model Driven Engineering (BigMDE'15)
• Seventh Workshop on Behavioural Modelling - Foundations and Applications (BM-FA'15)
• Fourth International Workshop on Bidirectional Transformations (BX'15)
• Sixth International Workshop on Graph Computation Models (GCM'15)
• Second Workshop on Model-Driven Robot Software Engineering (MORSE'15)
• First Workshop on Patterns in Model Engineering (PAME'15)
• Third Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO '15)
• Fourth Workshop on the Verication Of Model Transformations (VOLT '15)