FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems

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.

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

• Short Name: FAACS 2020
• Full Name: 4th International Workshop on Formal Approaches for Advanced Computing Systems
• Timing: 09:00 AM-06:00 PM (expected)
• Fees: Check the official website of FAACS 2020
• Event Type: Workshop
• Website Link: https://faacs-workshop.github.io/2020/
• Location/Address: L'Aquila, Italy