FACS 2022

18th International Conference on Formal Aspects of Component Software

10-11 November 2022, Oslo, Norway (online)

Call for Papers

The Call for Papers has been published! Please have a look for all information, including Topics of Interest and submission instructions.

Important dates

Invited Speakers

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.

Past Editions

Support

logo logo logo logo logo

Image credit: Christoffer Engström via Unsplash