FACS 2024

20th International Conference on Formal Aspects of Component Software
9, Sep, 2024 to 10, Sep, 2024
Milan, Italy
Homepage: https://facs-conference.github.io/2024/Outside Link
Call for Papers: https://facs-conference.github.io/2024/call-for-papers/ Deadline: 8, May, 2024

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.