View source for Coordination 2020

{{Event
|Acronym=Coordination 2020
|Title=22nd International Conference on Coordination Models and Languages
|Series=Coordination
|Type=Conference
|Superevent=DisCoTec 2020
|Start date=2020/06/15
|End date=2020/06/19
|Submission deadline=2020/02/28
|Homepage=https://www.discotec.org/2020/coordination
|Abstract deadline=2020/02/17
|Paper deadline=2020/02/28
|Notification=2020/04/10
|Camera ready=2020/04/24
|has Keynote speaker=Nathalie Bertrand, Holger Hermanns, Peter Kriens, Ken McMillan
}}
==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


==Submissions==


==Important Dates==
Abstract deadline	February 17, 2020 +
Acronym	Coordination 2020 +
Camera ready due	April 24, 2020 +
End date	June 19, 2020 +
Event in series	Coordination +
Event type	Conference +
Has Keynote speaker	Nathalie Bertrand +, Holger Hermanns +, Peter Kriens + and Ken McMillan +
Has coordinates	43° 35' 26", 3° 51' 34"Latitude: 43.590472222222 Longitude: 3.8595138888889 +
Has location country	Category:Online +
Has program chair	Simon Bliudze + and Laura Bocchi +
Homepage	https://www.discotec.org/2020/coordination +
IsA	Event +
Notification	April 10, 2020 +
Paper deadline	February 28, 2020 +
Start date	June 15, 2020 +
Subevent of	DisCoTec 2020 +
Submission deadline	February 28, 2020 +
Title	22nd International Conference on Coordination Models and Languages +