The 1st Workshop on Formal Approaches for Advanced Computing Systems, FAACS 2017, will be held in Trento, Italy, on September 4th, 2017. The workshop is co-located with SEFM 2017.
The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of systems built on new technologies (as IoT connectivity and smart devices), and exposing complex computational models (as mobile, cloud, autonomic, adaptive, etc.). The development of these Advanced Computing Systems requires the integration of heterogeneous methods, techniques, solutions already individually tested in specific contexts. Moreover, the employment of the emerging technologies may unexpectedly expose the user to undesired consequences; therefore, ensuring reliability, safety, and availability of such systems, is a very challenging issue that requires rigorous modeling and analysis techniques. Formal approaches have been widely developed in the area of classical distributed systems and applied to several case studies. The challenge now is how to deal with the new problems (e.g., uncertainty, untrustworthiness, information loss, etc.) that are emerging in the development and maintenance of advanced computing systems.
The workshop will be a forum for researchers and practitioners to discuss if current formal methods are suitable for the specification and analysis of advanced computing systems, and what are the upcoming challenges for the formal method community in devising rigorous approaches able to deal with characteristics of the emerging technologies and computational models.