Next events - FACS 2019 at CWI, Amsterdam


The 16th International Conference on Formal Aspects of Component Software (FACS 2019) will be held 23-25 October 2019 at CWI in Amsterdam, with keynotes by Wan Fokkink, Carlo Ghezzi, and Kim Larsen.

FACS 2019 is concerned with how formal methods can be applied to component-based software and system development, including (but not limited to) service-oriented and cloud computing, cyber-physical systems, and the Internet of Things.

Abstract and paper submission is now open (deadline: 28 June). The proceedings will be published as a volume of LNCS. Authors of selected papers will be invited to submit an extended version for inclusion in a special issue of a journal (historically, Science of Computer Programming).

The full call for papers is available at