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.
(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
- Proceedings will be published at Springer’s Lecture Notes in Computer Science.
- A selection of the best papers of the conference will be invited to submit to a special issue of Science of Computer Programming.
- FACS 2022, Oslo, Norway (online), November 10-11, 2022
- FACS 2021, Grenoble, France (online), October 28-29, 2021
- FACS 2019, Amsterdam, Netherlands, October 23-25, 2019
- FACS 2018, Pohang, Korea, October 10-12, 2018
- FACS 2017, Braga, Portugal, October 10-13, 2017
- FACS 2016, Besançon, France, October 19-21, 2016
- FACS 2015, Rio de Janeiro, Brasil, October 14-16, 2015
- FACS 2014, Bertinoro, Italy, September 10-12, 2014
- FACS 2013, Nanchang, China, October 28-30, 2013
- FACS 2012, Mountain View, USA, September 12-14, 2012
- FACS 2011, Oslo, Norway, September 14-16, 2011
- FACS 2010, Guimarães, Portugal, October 14-16, 2010
- FACS 2009, Eindhoven, the Netherlands, November 2-3, 2009
- FACS 2008, Málaga, Spain, September 10-12, 2008
- FACS 2007, Sophia-Antipolis, France, September 19-21, 2007
- FACS 2006, Prague, September 20-22, 2006
- FACS 2005, Macao, October 24-25, 2005
- FACS 2003, Pisa, Italy, September 8-9, 2003
This event is supported by…