FACS 2024
20th International Conference on Formal Aspects of Component SoftwareMilan, Italy
Homepage: https://facs-conference.github.io/2024/
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.
Short link for this page: www.cister-labs.pt/events/2158