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
Location:	, Online
Important dates
Abstracts:	2020/02/17
Papers:	2020/02/28
Submissions:	2020/02/28
Notification:	2020/04/10
Camera ready due:	2020/04/24
Committees
PC chairs:	Simon Bliudze, Laura Bocchi
Keynote speaker:	Nathalie Bertrand, Holger Hermanns, Peter Kriens, Ken McMillan
Table of Contents

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

Important Dates

February 17, 2020 - abstract submission - extended deadline
February 28, 2020 - paper submission - extended deadline
April 10, 2020 - notification
April 24, 2020 - camera ready