Difference between revisions of "Coordination 2019"

From Openresearch
Jump to: navigation, search
 
(8 intermediate revisions by the same user not shown)
Line 9: Line 9:
 
|City=Kongens Lyngby
 
|City=Kongens Lyngby
 
|Country=Denmark
 
|Country=Denmark
 +
|Abstract deadline=2019/02/15
 +
|Paper deadline=2019/02/22
 +
|Notification=2019/04/12
 +
|Camera ready=2019/04/26
 +
|Submitting link=https://easychair.org/conferences/?conf=coordination2019
 +
|Has coordinator=Technical University of Denmark
 +
|has program chair=Emilio Tuosto, Hanne Riis Nielson
 +
|has Keynote speaker=David Basin, Anne-Marie Kermarrec, Marta Kwiatkowska, Silvio Micali, Martin Wirsing
 
|Submitted papers=25
 
|Submitted papers=25
 
|Accepted papers=15
 
|Accepted papers=15
Line 16: Line 24:
 
}}
 
}}
 
==Topics==
 
==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:'''
==Submissions==
+
*Exploring the frontiers between coordination and control systems
 +
*Coordination of emerging parallel/distributed architectures
 +
*From coordination to verification and back
  
  

Latest revision as of 07:53, 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
PC chairs: Emilio Tuosto, Hanne Riis Nielson
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.

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