Skip to: Site menu | Main content

Politecnico di Bari via E.Orabona,4
70125 Bari - Italy
Tel. +39 - 0805963 641/515
Fax. +39 - 0805963410


1st Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2017)

Call for Papers

1st Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2017)

September , 2017

Trento, Italy

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.

Two kinds of contributions are invited:

• Research papers: written in English and prepared using the speci_c LNCS templates;be at least 6 pages long; not exceed 15 pages for the submission and pre-proceedings (up to 2 additional pages will be given for the postproceedings, only to address reviewers comments and feedback from the workshop)

• Short new ideas/work-in-progress papers: (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet.


List of topics includes but is not limited to:

- Formal methods and semi-formal methods for modeling, validation, and verification of functional and non-functional properties of:

• cloud applications

• mobile applications

• mobile cloud applications

• self-adaptive systems

• Collective Adaptive Systems

• systems of systems

• IoT applications

• smart systems

• socio-technical systems

• large-scale distributed applications

• cyber-Physical Systems

• etc.

- Functional, performance, and QoS testing, provided as a service on the Cloud or in an IoT network

- Case studies and experience reports


Papers must be written in English and prepared using the specific LNCS template. They must be between 6 and 15 pages long (including references) for the submission and the pre-proceedings. Up to 2 additional pages will be given for the post-proceedings, only to address reviewers' comments and feedback from the workshop.

Submission site:

All accepted papers will be published in a joint LNCS proceedings volume for SEFM collocated events.

Important Dates

• Paper submission: June 4th, 2017

• Author notification: July 6th, 2017

• Post-proceedings camera-ready version: TBA

• Workshop date: TBA

Program Chairs

• Paolo Arcaini, Charles University, Czech Republic

• Marina Mongiello, Politecnico di Bari, Italy

• Elvinia Riccobene, Università degli Studi di Milano, Italy

• Patrizia Scandurra, Università degli Studi di Bergamo, Italy

Program Committee

Yamine Ait Ameur, IRIT, France

Karoly Bosa, SCCH, Austria

Chiara Braghin, University of Milan, Italy

Antonio Bucchiarone, Bruno Kessler Foundation of Trento, Italy

Georg Buchgeher, SCCH, Austria

Matteo Camilli, University of Milan, Italy

Rafael Capilla, University Rey Juan Carlos, Spain

Ivica Crnkovic, MDU, Sweden

Tommaso Di Noia, Politecnico di Bari, Italy

Uwe Glasser, Simon Fraser University, Canada

Stefan Hallerstede, Aarhus University, Denmark

Roxana Holom, RISC Software GmbH, Austria

Patricia Lago, VU University, Nederland

Elizabeth Leonard, Center for High Assurance Computer Systems, NRL, USA

Sungwon Kang, Korea Advanced Institute of Science and Technology, Korea

Jan Kofron, Charles University, Czech Republic

Dominique Mery, LORIA, France

Raffaela Mirandola, Politecnico di Milano, Italy

Francesco Nocera, Politecnico di Bari, Italy

Hongyu Pei-Breivold, ABB Corporate Research, Sweden

Diego Perez-Palacin, University of Zaragoza, Spain

Andreas Prinz, University of Agder, Norway

Alexander Raschke, Universitat Ulm, Germany

Ella Roubtsova, Open Universiteit, Nederland

Antonino Sabetta, SAP Research, France

Romina Spalazzese, Malmo University, Sweden

Neeraj Kumar Singh, INPT-ENSEEIHT/IRIT, France

Colin F Snook, University of Southampton, UK

Danny Weyns, University of Linnaeus, Sweden

Tao Yue, Simula Labs, Norway

For questions concerning FAACS 2017, contact Elvinia Riccobene ( or Paolo Arcaini (, Marina Mongiello (

Back   17.03.2017.