Difference between revisions of "Coordination 2020"

From Openresearch
Jump to: navigation, search
Line 15: Line 15:
 
|has Keynote speaker=Nathalie Bertrand, Holger Hermanns, Peter Kriens, Ken McMillan
 
|has Keynote speaker=Nathalie Bertrand, Holger Hermanns, Peter Kriens, Ken McMillan
 
}}
 
}}
−
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
 
−
 
 
==Topics==
 
==Topics==
−
==Submissions==
 
−
==Important Dates==
 
  
−
==Committees==
+
    Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics;
−
* Co-Organizers
+
    Specification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and security aspects;
−
* General Co-Chairs
+
    Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing;
−
** [[has general chair::some person]], some affiliation, country
+
    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.
  
−
* PC Co-Chairs
+
'''Special topics:'''
−
** [[has program chair::some person]], some affiliation, country
+
*Microservices (in collaboration with the Microservices Community)
 +
*Techniques to reason about interacting digital contracts
  
−
* Workshop Chair
 
−
** [[has workshop chair::some person]], some affiliation, country
 
  
−
* Panel Chair
+
==Submissions==
−
** [[has OC member::some person]], some affiliation, country
 
  
−
* Seminars Chair
 
−
** [[has tutorial chair::some person]], some affiliation, country
 
  
−
* Demonstration Co-Chairs
+
==Important Dates==
−
** [[has demo chair::some person]], some affiliation, country
 
−
** [[has demo chair::some person]], some affiliation, country
 
−
 
 
−
* Local Organizing Co-Chairs
 
−
** [[has local chair::some person]], some affiliation, country
 
−
 
 
−
* Program Committee Members
 
−
** [[has PC member::some person]], some affiliation, country
 
−
-->
 

Revision as of 11:38, 17 April 2020

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
Keynote speaker: Nathalie Bertrand, Holger Hermanns, Peter Kriens, Ken McMillan
Table of Contents


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


Submissions

Important Dates

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=Coordination_2020&oldid=221376"
Facts about "Coordination 2020"
RDF feed
Abstract deadlineFebruary 17, 2020 +
AcronymCoordination 2020 +
Camera ready dueApril 24, 2020 +
End dateJune 19, 2020 +
Event in seriesCoordination +
Event typeConference +
Has Keynote speakerNathalie Bertrand +, Holger Hermanns +, Peter Kriens + and Ken McMillan +
Homepagehttps://www.discotec.org/2020/coordination +
IsAEvent +
NotificationApril 10, 2020 +
Paper deadlineFebruary 28, 2020 +
Start dateJune 15, 2020 +
Subevent ofDisCoTec 2020 +
Submission deadlineFebruary 28, 2020 +
Title22nd International Conference on Coordination Models and Languages +