Difference between revisions of "Coordination 2020"
(4 intermediate revisions by one other user not shown) | |||
Line 9: | Line 9: | ||
|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 | ||
}} | }} | ||
− | |||
− | |||
==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:''' | |
− | + | *Microservices (in collaboration with the Microservices Community) | |
− | * | + | *Techniques to reason about interacting digital contracts |
− | * | ||
− | |||
− | |||
− | + | ==Important Dates== | |
− | + | February 17, 2020 - abstract submission - extended deadline<br> | |
− | + | February 28, 2020 - paper submission - extended deadline<br> | |
− | + | April 10, 2020 - notification<br> | |
− | + | April 24, 2020 - camera ready | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Latest revision as of 17: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 | |
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
Facts about "Coordination 2020"
Abstract deadline | February 17, 2020 + |
Acronym | Coordination 2020 + |
Camera ready due | April 24, 2020 + |
End date | June 19, 2020 + |
Event in series | Coordination + |
Event type | Conference + |
Has Keynote speaker | Nathalie Bertrand +, Holger Hermanns +, Peter Kriens + and Ken McMillan + |
Has coordinates | 43° 35' 26", 3° 51' 34"Latitude: 43.590472222222 Longitude: 3.8595138888889 + |
Has location country | Category:Online + |
Has program chair | Simon Bliudze + and Laura Bocchi + |
Homepage | https://www.discotec.org/2020/coordination + |
IsA | Event + |
Notification | April 10, 2020 + |
Paper deadline | February 28, 2020 + |
Start date | June 15, 2020 + |
Subevent of | DisCoTec 2020 + |
Submission deadline | February 28, 2020 + |
Title | 22nd International Conference on Coordination Models and Languages + |