Detail

Publication date: 1 de June, 2021

10th International Workshop on the Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2011)

Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the Internet). Computational systems are therefore typically distributed, concurrent, mobile, and often involve composition of heterogeneous components.

To specify and reason about such systems and go beyond the functional correctness proofs, e.g., by supporting reusability and improving maintainability, approaches such as coordination languages and software architecture are recognised as fundamental.

The goal of the FOCLASA workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the context of coordination languages and software architectures.
Topics of interest

Topics of interest include (but are not limited to):
* Theoretical models (of coordination, of component composition, of open, concurrent, and distributed systems)
* Specification, refinement, and analysis of software systems (architectures, patterns and styles, verification of functional and non-functional properties via logics or types)
* Languages for interaction, coordination, architectures, and interface definition (syntax and semantics, implementation, usability, domain-specific languages)
* Dynamic software architectures (mobile agents, self-organizing/adaptive/reconfigurable systems)
* Tools and environments for the development of applications.

In particular, practice, experience and methodologies from the following areas are solicited as well:
* Service-Oriented computing
* Multi-agent systems
* Peer-to-peer systems
* Grid computing
* Component-based systems

---