Photo by Jørn ERIKSSON
CC BY 2.0, via Wikimedia Commons

Objectives and Scope

Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and standalone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical and practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions.


Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows:

Cloud/fog/edge computing and large-scale distributed systems

Business processes and concurrent system modelling

Peer-to-peer and multi-agent systems, and blockchains

Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis

Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems

Coordination, orchestration, composition and adaptation of components, services or microservices

Quality-of-service observation, storage, history-based analysis in self-adaptive systems

Call for papers

Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style , Short papers (8-10 pages long) describing preliminary results or work-in-progress are encouraged as well. The contributions should be submitted as Portable Document Format (PDF) files using the EasyChair submission site:

EasyChair FOCLASA 2019

All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere is not allowed.

All accepted papers will be included in the LNCS Workshop Post-proceedings of SEFM 2019 , to be published by Springer after the workshop. Additionally, and following the tradition of past editions, the authors of a selected subset of papers will be invited to submit extended versions of their papers after the workshop, to be reviewed by a new set of reviewers, for publication in a special issue of a journal.

Text version: foclasa-2019-cfp.rtf.

Important dates


June 9th, 2019 July 4th, 2019

June 16th, 2019 July 4th, 2019
Notification of

July 21st, 2019 July 26th, 2019

July 31st, 2019

Program committee chairs


University of Málaga, Spain


University of Pisa, Italy

Steering committee

Farhad ARBAB

CWI, The Netherlands

Antonio BROGI

University of Pisa, Italy

Carlos CANAL

University of Málaga, Spain

Jean-Marie JACQUET

University of Namur, Belgium


University of Málaga, Spain

Gwen Salaün

University of Grenoble Alpes, France

Program committee

Farhad Arbab, CWI, The Netherlands
Simon Bliudze, INRIA Lille - Nord Europe, France
Uwe Breitenbücher, University of Stuttgart, Germany
Antonio Brogi, University of Pisa, Italy
Javier Cámara, Carnegie Mellon University, USA
Flavio De Paoli, University of Milano Bicocca, Italy
Francisco J. Durán, Universidad de Malaga, Spain
Erik de Vink, Eindhoven University of Technology, The Netherlands
Schahram Dustdar, TU Wien, Austria
Nahla El-Araby, TU Wien, Austria
Jean-Marie Jacquet, University of Namur, Belgium
Einar Broch Johnsen, University of Oslo, Norway
Alberto Lluch Lafuente, Technical University of Denmark, Denmark
Sun Meng, Peking University, China
Fabrizio Montesi, University of Southern Denmark, Denmark
Hernan C. Melgratti, University of Buenos Aires, Argentina
Cesare Pautasso, University of Lugano, Switzerland (TBC)
Pascal Poizat, Universite Paris Ouest, France
Jose Proenca, INESC TEC & Universidade do Minho, Portugal
Gwen Salaün, University of Grenoble, France
Marjan Sirjani, Reykjavik University, Iceland
Emilio Tuosto, University of Leicester, UK - Gran Sasso Science Institute, Italy
Mirko Viroli, University of Bologna, Italy
Lina Ye, CentraleSupelec, France


Lunch 🍔 🍟 + Registration 🎟

Session 1 (Chair: Ernesto Pimentel)

14.00-14.05: Opening
14.05-14.40: Formal Verification of Smart Contract with the KeY Tool
Bernhard Beckert
14.40-15.05: Quantifying the Similarity of Non-bisimilar LTSs
Gwen Salaün
15.05-15.30: Identifying failure causalities in multi-component applications
Antonio Brogi and Jacopo Soldani

Coffee break ☕

Session 2 (Chair: Jacopo Soldani)

16.00-16.25: A Formal Programming Framework for Digital Avatars
Alejandro Pérez Vereda, Carlos Canal and Ernesto Pimentel
16.25-16.50: Modeling Self-Adaptive Fog Systems Using Bigraphs
Hamza Sahli, Thomas Ledoux and Éric Rutten
16.50-17.25: From SOS to Asynchronously Communicating Actors
Einar-Broch Johnsen
17.25-17.30: Closing

Invited Talks

Formal Verification of Smart Contract with the KeY Tool by Bernhard Beckert.
Abstract. Smart contracts are programs building on blockchain technology. They implement functionality that has been agreed on between the concerned parties on a network. However, their immutability and exposed position make them vulnerable to programming errors, leading to faulty behavior and possible exploits. Therefore, smart contracts demand a particularly thorough analysis, ideally using formal program verification. In this talk, I will give a short overview of the program verification tool KeY for Java programs, including latest work estimating the coverage of partial proofs. And I will present an approach for the deductive verification of Hyperledger Fabric smart contracts using the KeY prover.

From SOS to Asynchronously Communicating Actors by Einar-Broch Johnsen.
Abstract. Structural Operational Semantics (SOS) provide a general format to describe a model as a transition system with very powerful synchronization mechanisms. Actor systems are distributed, asynchronously communicating units of computation with encapsulated state, with much weaker means of synchronizing between actors. In this talk, we discuss an implementation of a SOS model using actors in the object-oriented actor language ABS and how to argue that global properties about the model are inherited from the SOS level to the actor implementation. The work is based on a case study modelling the memory system of a cache-coherent multicore architecture.

Past editions

FOCLASA 2018, a satellite workshop of STAF / SEFM 2018, Toulouse (France). Proceedings in LNCS, vol. 11176, 2018. Special issue in Science of Computer Programming, Elsevier [under preparation].

FOCLASA 2017, a satellite workshop of SEFM 2017, Trento (Italy). Proceedings in LNCS, vol. 10729, 2017. Special issue in Science of Computer Programming, vol. 166, Elsevier, 2018.

FOCLASA 2015, a satellite workshop of CONCUR 2015, Madrid (Spain). Proceedings in EPTCS, vol. 201, 2015.

FOCLASA 2014, a satellite workshop of CONCUR 2014, Rome (Italy). Proceedings in EPTCS, vol. 175, 2015.

FOCLASA 2013, a satellite workshop of ESOCC 2013, Málaga (Spain). Proceedings in Communications in Computing and Information Science, vol. 393, 2013, Springer. Special issue in Science of Computer Programming, vol. 115-116, Elsevier, 2016.

FOCLASA 2012, a satellite workshop of CONCUR 2012, Newcastle (United Kingdom). Proceedings in EPTCS, vol. 91, 2012. Special issue in Science of Computer Programming, vol. 115-116, Elsevier, 2016.

FOCLASA 2011, a satellite workshop of CONCUR 2011, Aachen (Germany). Proceedings in EPTCS, vol. 58, 2011. Special issue in Science of Computer Programming, vol. 89 (Part A), Elsevier, 2014.

FOCLASA 2010, a satellite workshop of CONCUR 2010, Paris (France). Proceedings in EPTCS, vol. 30, 2010. Special issue in Science of Computer Programming, vol. 80 (Part A), Elsevier, 2014.

FOCLASA 2009, a satellite workshop of ICALP 2009, Rhodes (Greece). Proceedings in ENTCS, vol. 255, 2009. Special issue in Science of Computer Programming, vol. 77(7-8), Elsevier.

FOCLASA 2008, a satellite workshop of ICALP 2008, Reykjavik (Iceland). Proceedings in ENTCS, vol. 248, 2009. Special issue in Science of Computer Programming, vol. 76(8), Elsevier.

FOCLASA 2007, a satellite workshop of CONCUR 2007, Lisbon (Portugal). Proceedings in ENTCS, vol. 194(4), 2008. Special issue in Science of Computer Programming, vol. 76(1), Elsevier.

FOCLASA 2006, a satellite workshop of CONCUR 2006, Bonn (Germany). Proceedings in ENTCS, vol. 175(2), 2007. Special issue in Science of Computer Programming, vol. 74(9), Elsevier.

FOCLASA 2005, a satellite workshop of CONCUR 2005, San Francisco (USA). Proceedings in ENTCS, vol. 154(1), 2006. Special issue in Science of Computer Programming, vol. 66(2), Elsevier, 2007.

FOCLASA 2004, a satellite workshop of CONCUR 2004, London (United Kingdom). Proceedings in ENTCS, vol. 180(2), 2007.

FOCLASA 2003, a satellite workshop of CONCUR 2003, Marseille (France). Proceedings in ENTCS, vol. 97, 2004. Special issue in Science of Computer Programming, vol. 61(2), Elsevier, 2006.

FOCLASA 2002, a satellite workshop of CONCUR 2002, Brno (Czech Republic). Proceedings in ENTCS, vol. 68(3), 2003. Special issue in Fundamenta Informaticae, vol 73(4), IOSPress, 2006.


Publicity chair: Alejandro Perez Vereda, University of Málaga, Spain (apvereda [at] uma [dot] es)

Contact address: For any further information please contact foclasa [at] di [dot] unipi [dot] it.