Difference between revisions of "Coordination 2018"
Line 22: | Line 22: | ||
*Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and robabilistic aspects of coordination, logic, emergent behaviour, types, semantics; | *Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and robabilistic aspects of coordination, logic, emergent behaviour, types, semantics; | ||
− | *Specification, refinement, and analysis of architectures: patterns and | + | *Specification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance aspects; |
− | styles, verification of functional and non-functional properties, | + | |
− | including performance aspects; | + | *Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing; |
− | *Dynamic software architectures: distributed mobile code, | ||
− | configuration, reconfiguration, networked computing, parallel, | ||
− | high-performance and cloud computing; | ||
*Nature- and bio-inspired approaches to coordination; | *Nature- and bio-inspired approaches to coordination; | ||
− | *Coordination of multiagent and collective systems: models, languages, | + | *Coordination of multiagent and collective systems: models, languages, infrastructures, self-adaptation, self-organisation, istributed solving, collective intelligence and emerging behaviour; |
− | infrastructures, self-adaptation, self-organisation, | ||
− | solving, collective intelligence and emerging behaviour; | ||
− | *Coordination and modern distributed computing: Web services, | + | *Coordination and modern distributed computing: Web services, peer-to-peer networks, grid computing, context-awareness, biquitous computing, mobile computing; |
− | peer-to-peer networks, grid computing, context-awareness, | ||
− | computing, mobile computing; | ||
− | *Coordination platforms for infrastructures of emerging new application | + | *Coordination platforms for infrastructures of emerging new application domains like IoT, fog- and edge- computing; |
− | domains like IoT, fog- and edge- computing; | ||
− | *Programming methodologies, languages, middleware, tools, and environments for the | + | *Programming methodologies, languages, middleware, tools, and environments for the development and verification of oordinated applications; |
− | development and verification of | ||
*Tools, languages and methodologies for secure coordination; | *Tools, languages and methodologies for secure coordination; | ||
− | *Industrial relevance of coordination and software architectures: | + | *Industrial relevance of coordination and software architectures: programming in the large, domain-specific software rchitectures and coordination models, case studies; |
− | programming in the large, domain-specific software | ||
− | coordination models, case studies; | ||
*Interdisciplinary aspects of coordination; | *Interdisciplinary aspects of coordination; |
Revision as of 10:32, 17 April 2020
Coordination 2018 | |
---|---|
20th International Conference on Coordination Models and Languages
| |
Event in series | Coordination |
Dates | 2018/06/18 (iCal) - 2018/06/21 |
Homepage: | http://2018.discotec.org/cfp coordination.html |
Location | |
Location: | Madrid, Spain |
Loading map... | |
Important dates | |
Abstracts: | 2018/02/02 |
Papers: | 2018/02/09 |
Submissions: | 2018/02/23 |
Notification: | 2018/03/30 |
Papers: | Submitted 26 / Accepted 12 (46.2 %) |
Table of Contents | |
Contents | |
Topics
- Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and robabilistic 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 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, istributed solving, collective intelligence and emerging behaviour;
- Coordination and modern distributed computing: Web services, peer-to-peer networks, grid computing, context-awareness, biquitous 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 oordinated applications;
- Tools, languages and methodologies for secure coordination;
- Industrial relevance of coordination and software architectures: programming in the large, domain-specific software rchitectures and coordination models, case studies;
- Interdisciplinary aspects of coordination;
- Industry-led efforts in coordination and case studies.
Submissions
Important Dates
February 2, 2018 Submission of abstracts
February 9, 2018 Submission of papers
March 30, 2018 Notification of accepted papers
June 18-20, 2018 Conferences in Madrid
Facts about "Coordination 2018"
Abstract deadline | February 2, 2018 + |
Acceptance rate | 46.2 + |
Accepted papers | 12 + |
Acronym | Coordination 2018 + |
End date | June 21, 2018 + |
Event in series | Coordination + |
Event type | Conference + |
Has coordinates | 40° 25' 0", -3° 42' 13"Latitude: 40.416705555556 Longitude: -3.7035833333333 + |
Has location city | Madrid + |
Has location country | Category:Spain + |
Has program chair | Michele Loreti + and Giovanna di Marzo Serugendo + |
Homepage | http://2018.discotec.org/cfp coordination.html + |
IsA | Event + |
Notification | March 30, 2018 + |
Paper deadline | February 9, 2018 + |
Start date | June 18, 2018 + |
Submission deadline | February 9, 2018 + and February 23, 2018 + |
Submitted papers | 26 + |
Title | 20th International Conference on Coordination Models and Languages + |