IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems

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

L'Aquila, Italy
Event Date: September 14, 2020 - September 15, 2020
Submission Deadline: June 24, 2020
Notification of Acceptance: July 13, 2020
Camera Ready Version Due: July 20, 2020




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:

  • formal approaches to architecture design, validation and verification;
  • formal/semi-formal architecture description languages and meta-models;
  • tools for verification and validation;
  • application of formal methods to specific domains, such as reconfigurable, autonomous, cyber-physical, robotic, intelligent, and IoT systems;
  • verification of AI systems, and AI approaches to verification;
  • architecture-centric model-driven engineering approaches;
  • architectural patterns, styles and tactics;
  • scalable formal methods in ultra-large scale systems, long-lived and emerging systems of systems;
  • formal approaches to performance analysis;
  • integration of formal methods in agile software development practices;
  • case studies developed and/or analyzed by using formal approaches;
  • experience reports on the application of formal methods to design and analysis of real-world systems.



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

  • 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


Credits and Sources

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


Check other Conferences, Workshops, Seminars, and Events


OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER SOFTWARE ENGINEERING EVENTS

ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
SHOW ALL

OTHER SOFTWARE ARCHITECTURE EVENTS

IT-Tage 2024: IT-Tage - IT-Konferenz für Software-Entwicklung, -Architektur, KI, Datenbanken, DevOps, Agile und Management
Frankfurt am Main
Dec 9, 2024
ICSOFT 2024: 19th International Conference on Software Technologies
Dijon, France
Jul 8, 2024
ECSA 2024: 18th European Conference on Software Architecture (ECSA)
Luxemburg
Sep 2, 2024
FAACS 2024: The 8th International Workshop on Formal Approaches for Advanced Computing Systems
IIIT Hyderabad, India
Jun 4, 2024
SOENG 2024: 10th International Conference on Software Engineering
Sydney, Australia
Jun 22, 2024
SHOW ALL