Let's see our last news below...

LNCS 10231 for FACS 2016

April 19th, 2017: LNCS 10231 is now available online. You can find information about it at

Invited speaker: Prof. Dr Kung-Kiu Lau, University of...

July 21st, 2016: Prof. Dr Kung-Kiu Lau will give a keynote talk From Formal Methods to Components: Back to the Future? during the conference days.

Invited speaker: Prof. Dr Holger Giese, Hasso Plattner...

July 4th, 2016: Prof. Dr Holger Giese will give a keynote talk on Self-adaptation and Cyber-Physical Systems during the conference days.

Deadline extension

Abstract and Paper submission deadline extended : July 11, 2016 July 1, 2016

Workshop on Formal Approaches for Systems-of-Systems (FaSoS)

A workshop on Formal Approaches for Software-intensive Systems-of-Systems (FaSoS) will be affiliated with FACS 2016. It will be organised by Flavio Oquendo, Khalil Drira and Axel Legay on October...

Invited speaker: Franck Le Gall, Easy Global Market

June, 9th, 2016: Franck Le Gall working at Easy Global Market will give the talk From devices to data: testing the IoT on October, 20th, 2016.

Special issue of SCP

April, 19th, 2016: A special issue of the Science of Computer Programming journal will be devoted to extended versions of selected papers from FACS 2016.

Website launched

Website launched on February 14, 2016