Coordination 2020

Coordination 2020
22nd International Conference on Coordination Models and Languages
Event in series	Coordination
Subevent of	DisCoTec 2020
Dates	2020/06/15 (iCal) - 2020/06/19
Homepage:	https://www.discotec.org/2020/coordination
Location:
Important dates
Abstracts:	2020/02/17
Papers:	2020/02/28
Submissions:	2020/02/28
Notification:	2020/04/10
Camera ready due:	2020/04/24
Keynote speaker:	Nathalie Bertrand, Holger Hermanns, Peter Kriens, Ken McMillan
Table of Contents

The following coordinate was not recognized: Geocoding failed.

The following coordinate was not recognized: Geocoding failed.

Topics

   Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics;
   Specification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and security aspects;
   Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing;
   Nature- and bio-inspired approaches to coordination;
   Coordination of multiagent and collective systems: models, languages, infrastructures, self-adaptation, self-organisation, distributed solving, collective intelligence and emerging behaviour;
   Coordination and modern distributed computing: web services, peer-to-peer networks, grid computing, context-awareness, ubiquitous computing, mobile computing;
   Coordination platforms for infrastructures of emerging new application domains like IoT, fog- and edge-computing;
   Programming methodologies, languages, middleware, tools, and environments for the development and verification of coordinated applications;
   Tools, languages and methodologies for secure coordination;
   Industrial relevance of coordination and software architectures: programming in the large, domain-specific software architectures and coordination models, case studies;
   Interdisciplinary aspects of coordination;
   Industry-led efforts in coordination and case studies.

Special topics:

• Microservices (in collaboration with the Microservices Community)
• Techniques to reason about interacting digital contracts