Difference between revisions of "Coordination 2019"

From Openresearch
Jump to: navigation, search
Line 24: Line 24:
 
==Topics==
 
==Topics==
  
*Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and
+
*Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics;
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;
 
*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;
 
*Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing;

Revision as of 07:49, 17 April 2020

Coordination 2019
21th International Conference on Coordination Models and Languages
Event in series Coordination
Dates 2019/06/17 (iCal) - 2019/06/21
Homepage: https://www.discotec.org/2019/
Submitting link: https://easychair.org/conferences/?conf=coordination2019
Location
Location: Kongens Lyngby, Denmark
Loading map...

Important dates
Abstracts: 2019/02/15
Papers: 2019/02/22
Notification: 2019/04/12
Camera ready due: 2019/04/26
Papers: Submitted 25 / Accepted 15 (60 %)
Committees
Organizers: Technical University of Denmark
Keynote speaker: David Basin, Anne-Marie Kermarrec, Marta Kwiatkowska, Silvio Micali, Martin Wirsing
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.


Submissions

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