Contact: Matteo Camilli; Last date for abstract submission: 31/May/2019; Goal of the workshop is to foster integration between formal methods and software architecture promoting new synergies between the two communities in order to stimulate researchers to share novel ideas, techniques, and lessons learned.