Coordination 2019

Deadlines

2019-04-12

2019-02-15

2019-02-22

2019-04-26

15 Feb 2019

Abstract

22 Feb 2019

Paper

12 Apr 2019

Notification

26 Apr 2019

Camera-Ready

Metrics

Submitted Papers

25

Accepted Papers

15

Venue

Kongens Lyngby, Denmark

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":[{"text":"","title":"","link":"","lat":55.7718649,"lon":12.5051413,"icon":""}],"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:

• Exploring the frontiers between coordination and control systems
• Coordination of emerging parallel/distributed architectures
• From coordination to verification and back

Important Dates

February 1, 2019 - abstract submission February 15, 2019 - extended abstract submission
February 8, 2019 - paper submission February 22, 2019 - extended paper submission
April 12, 2019 - notification
April 26, 2019 - camera ready
Conferences (DAIS, Coordination, FORTE): Tuesday June 18 - Thursday June 20, 2019
DisCoRail workshop: Monday June 17, 2019
ICE workshop: Thursday June 20 - Friday June 21, 2019