This is the website of the 3rd Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2019).
The workshop will be held in Paris, France, on September 9/10, 2019 (TBD).
The workshop is co-located with the 13th European Conference on Software Architecture (ECSA 2019).
The development of advanced computing systems requires advanced architectural design exploiting the integration of heterogeneous architecture description languages and styles. Moreover, the employment of emerging technologies and computational models may unexpectedly expose the user to undesired consequences, such as threats to confidentiality and even financial or health danger. Therefore, assuring trustworthiness or other important quality attributes of such systems represents a very challenging issue that requires rigorous or formal approaches to design, development and validation and verification. Goal of the workshop is to foster integration between formal methods and software architecture promoting new connections and synergies between the two communities in order to strengthen links between them, and to stimulate researchers to share novel ideas, techniques, and lessons learned, from both industrial and academic experts.
The main goal of the workshop is to foster integration between the formal methods and the software architecture communities.