Photo by Benh LIEU SONG
CC BY-SA 3.0, via Wikimedia Commons

Objectives and Scope

Modern software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and of stand-alone services. Theoretical models, languages and tools for coordinating, composing and adapting services are hence required. They can indeed simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve reusability and maintainability of such systems. In this context, the goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share their best practices and experiences, to identify common problems, and to devise general solutions in the context of coordination languages, service orchestration, and self-adaptive systems

Topics

Topics of interest include (but are not limited to):

Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modelling.

Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in various application domains.

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

“Software as a service” models (e.g., cloud/edge/fog computing) and dynamic software architectures, such as self-adaptive and self-organizing systems.

Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications.

Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems.

Practice, experience and solutions from the following areas are solicited as well:

Business process
modelling.

Blockchains and
distributed transactions.

Cloud, fog, edge
applications.

Component-based
systems.

Large-scale
distributed systems.

(Micro)service-based
systems.

Multi-agent
systems.

Peer-to-peer
systems.

Self-adaptive
systems.

Call for papers

TBA

Important dates

Abstract submissions

April 13th, 2018

Paper submissions

April 20th, 2018

Notifications

May 20th, 2018

Final versions

June 10th, 2018

Program committee chairs

Jean-Marie JACQUET

University of Namur, Belgium

Jacopo SOLDANI

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

Ernesto PIMENTEL

University of Málaga, Spain

Gwen Salaün

University of Grenoble Alpes, France

Program committee

Name, affiliation.
Name, affiliation.

Program

TBA

Past editions

FOCLASA 2017, a satellite workshop of SEFM 2017, Trento (Italy). Proceedings in LNCS, [To appear].

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.

Contacts

For any further information please contact foclasa_at_di.unipi.it.