The main goal of the workshop is to foster integration between the formal methods and the software architecture communities.