Coordination 2020: Difference between revisions

From Openresearch
Jump to navigation Jump to search
← Older editNewer edit →
No edit summary
No edit summary
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 09: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"