FACS 2023
19th International Conference on Formal Aspects of Component SoftwareOnline
Homepage: https://facs-conference.github.io/2023/
Call for Papers: https://facs-conference.github.io/2023/call-for-papers/
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.
CISTER's participants:
Short link for this page: www.cister.isep.pt/events/2121