FACS 2023

19th International Conference on Formal Aspects of Component Software

19-20 October 2023 (online)

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 19th edition of FACS will take place online on October 19-20 2023.

(4/7/23) Deadline extended!

The deadline for abstracts and paper submissions has been extended to July 17th, 2023.

Proceedings and Special Issue

Invited Speakers

Past Editions



This event is supported by…

Image credit: Christoffer Engström via Unsplash