About FACS
The Formal Aspects of Component Software (FACS) conference series targets research in formal approaches for distributed components and services. The conferences cover topics including models, languages, analysis and verification techniques for component-based systems such as service-oriented architecture, cloud and edge computing, safety-critical, hybrid and cyber physical systems, etc.
The 20th edition of FACS will be co-located with Formal Methods 24. It will take place on September 09-10 2024 in Milan, Italy.
Proceedings
The proceedings are available online at https://link.springer.com/book/9783031712609