Difference between revisions of "Coordination 2020"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
| − | |||
| − | |||
| − | |||
| − | |||
|Superevent=DisCoTec 2020 | |Superevent=DisCoTec 2020 | ||
| − | |||
| − | |||
|Submission deadline=2020/02/28 | |Submission deadline=2020/02/28 | ||
| − | |||
| − | |||
|Abstract deadline=2020/02/17 | |Abstract deadline=2020/02/17 | ||
|Paper deadline=2020/02/28 | |Paper deadline=2020/02/28 | ||
| Line 16: | Line 8: | ||
|has program chair=Simon Bliudze, Laura Bocchi | |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 | ||
| + | |Acronym =Coordination 2020 | ||
| + | |End date=2020/06/19 | ||
| + | |Series =Coordination | ||
| + | |Type =Conference | ||
| + | |Country =Online | ||
| + | |Homepage=https://www.discotec.org/2020/coordination | ||
| + | |Start date=2020/06/15 | ||
| + | |Title =22nd International Conference on Coordination Models and Languages | ||
}} | }} | ||
==Topics== | ==Topics== | ||
Revision as of 21:29, 3 November 2021
Event Rating
| median | worst |
|---|---|
List of all ratings can be found at Coordination 2020/rating
| 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