FACS 2022

18th International Conference on Formal Aspects of Component Software

10-11 November 2022, Oslo, Norway (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 18th edition of FACS took place online on November 10-11 2022 and was organized by the University of Oslo.

Proceedings

The proceedings are online at https://link.springer.com/book/10.1007/978-3-031-20872-0.

Invited Speakers

Past Editions

Support

logo logo logo logo

logo logo logo logo

logo logo logo logo

This event is supported by - the Norte Portugal Regional Operational Programme (NORTE 2020) under the Portugal 2020 Partnership Agreement, through ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation (project NORTE-01-0145-FEDER-028550), - national funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia (project PTDC/EEI-COM/28550/2017). The project has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852. The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Czech Republic, Germany, Ireland, Italy, Portugal, Spain, Sweden, Turkey, - national funds through the Research Council of Norway, that is is funding the FRINATEK Young Research Talent Project ADAPt (No. 274515), and the SIRIUS Innovation centre (No. 237898).

Image credit: Christoffer Engström via Unsplash