FACS 2023

19th International Conference on Formal Aspects of Component Software
19, Oct, 2023 to 20, Oct, 2023
Homepage: https://facs-conference.github.io/2023/Outside Link
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:
José Proença