Coordination 2020: Difference between revisions

From Openresearch
Jump to navigation Jump to search
Created page with "{{Event |Acronym=Coordination 2020 |Title=22nd International Conference on Coordination Models and Languages |Series=Coordination |Type=Conference |Superevent=DisCoTec 202020..."
 
No edit summary
 
(5 intermediate revisions by 2 users not shown)
Line 4: Line 4:
|Series=Coordination
|Series=Coordination
|Type=Conference
|Type=Conference
|Superevent=DisCoTec 202020
|Superevent=DisCoTec 2020
|Start date=2020/06/15
|Start date=2020/06/15
|End date=2020/06/19
|End date=2020/06/19
|Submission deadline=2020/02/28
|Submission deadline=2020/02/28
|Homepage=https://www.discotec.org/2020/coordination
|Homepage=https://www.discotec.org/2020/coordination
|Country=Online
|Abstract deadline=2020/02/17
|Abstract deadline=2020/02/17
|Paper deadline=2020/02/28
|Paper deadline=2020/02/28
|Notification=2020/04/10
|Notification=2020/04/10
|Camera ready=2020/04/24
|Camera ready=2020/04/24
|has program chair=Simon Bliudze, Laura Bocchi
|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==
*Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics;
==Important Dates==
*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.


==Committees==
'''Special topics:'''
* Co-Organizers
*Microservices (in collaboration with the Microservices Community)
* General Co-Chairs
*Techniques to reason about interacting digital contracts
** [[has general chair::some person]], some affiliation, country


* PC Co-Chairs
** [[has program chair::some person]], some affiliation, country


* Workshop Chair
==Important Dates==
** [[has workshop chair::some person]], some affiliation, country
February 17, 2020 - abstract submission - extended deadline<br>
 
February 28, 2020 - paper submission - extended deadline<br>
* Panel Chair
April 10, 2020 - notification<br>
** [[has OC member::some person]], some affiliation, country
April 24, 2020 - camera ready
 
* Seminars Chair
** [[has tutorial chair::some person]], some affiliation, country
 
* Demonstration Co-Chairs
** [[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
-->

Latest revision as of 16:00, 18 February 2021

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
Location: , Online
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


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

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=Coordination_2020&oldid=230029"