Coordination 2020

Deadlines

2020-04-10

2020-02-17

2020-02-28

2020-04-24

2020-02-28

17 Feb 2020

Abstract

28 Feb 2020

Submission

28 Feb 2020

Paper

10 Apr 2020

Notification

24 Apr 2020

Camera-Ready

Venue

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}

Warning: Venue is missing. The map might not show the exact location.

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