Coordination 2020

From Openresearch
Jump to: navigation, search
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
Committees
PC chairs: Simon Bliudze, Laura Bocchi
Keynote speaker: Nathalie Bertrand, Holger Hermanns, Peter Kriens, Ken McMillan
Table of Contents


Event

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


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