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.

(19/1/24) LNCS proceedings published

Proceedings have been published at Springer’s Lecture Notes in Computer Science (LNCS) series and aare available online at https://link.springer.com/book/10.1007/978-3-031-52183-6.

(14/10/23) Paper preprints published

The preprints of accepted papers at FACS 2023 have been published. Preprints are linked from the paper titles included in every session of the program.

(30/9/23) Tentative Program and Registration Published

The tentative program for FACS 2023 has been published. To participate in the event, please fill the following form. Participation is free of charge.

(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


logo logo logo

This event is supported by…

Image credit: Christoffer Engström via Unsplash