(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
|Type=Conference | |Type=Conference | ||
|Superevent=DisCoTec 2020 | |Superevent=DisCoTec 2020 | ||
| − | | | + | |Official Website=https://www.discotec.org/2020/coordination |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|has program chair=Simon Bliudze, Laura Bocchi | |has program chair=Simon Bliudze, Laura Bocchi | ||
| − | |||
|pageCreator=User:Curator 55 | |pageCreator=User:Curator 55 | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
| Line 20: | Line 13: | ||
|Start Date=2020/06/15 | |Start Date=2020/06/15 | ||
|End Date=2020/06/19 | |End Date=2020/06/19 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=online | ||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Abstract Deadline=2020/02/17 | ||
| + | |Paper Deadline=2020/02/28 | ||
| + | |Notification Deadline=2020/04/10 | ||
| + | |Camera-Ready Deadline=2020/04/24 | ||
| + | |Submission Deadline=2020/02/28 | ||
| + | }} | ||
| + | {{S Event}} | ||
==Topics== | ==Topics== | ||
*Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics; | *Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics; | ||
Latest revision as of 13:07, 19 October 2022
Deadlines
|
||
| Abstract |
|
||
| Paper |
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
Venue
Warning: Venue is missing. The map might not show the exact location.
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
