About |
|
The main objective of the workshop is to foster the integration between the formal methods and the software architecture communities, and to foster cooperation between them. We encourage researchers and practitioners to share novel ideas, methods, techniques, and tools, that seek significant achievements in improving the quality of software systems. |
Call for Papers |
|
Topics of interest include, but are not limited to:
|
Summary |
|
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems will take place in L'Aquila, Italy. It’s a 2 days event starting on Sep 14, 2020 (Monday) and will be winded up on Sep 15, 2020 (Tuesday). FAACS 2020 falls under the following areas: FORMAL METHODS, SOFTWARE ENGINEERING, SOFTWARE ARCHITECTURE, etc. Submissions for this Workshop can be made by Jun 24, 2020. Authors can expect the result of submission by Jul 13, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 20, 2020 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the FAACS 2020
|
Credits and Sources |
| [1] FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems |
