Coordination 2018: Difference between revisions
No edit summary |
No edit summary |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 13: | Line 13: | ||
|Paper deadline=2018/02/09 | |Paper deadline=2018/02/09 | ||
|Notification=2018/03/30 | |Notification=2018/03/30 | ||
|has program chair=Michele Loreti, Giovanna di Marzo Serugendo | |||
|Submitted papers=26 | |Submitted papers=26 | ||
|Accepted papers=12 | |Accepted papers=12 | ||
| Line 20: | Line 21: | ||
}} | }} | ||
==Topics== | ==Topics== | ||
*Theoretical models and foundations for coordination: component | *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; | ||
*Industry-led efforts in coordination and case studies. | *Industry-led efforts in coordination and case studies. | ||
Latest revision as of 09:35, 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 |
| 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 %) |
| Committees | |
| PC chairs: | Michele Loreti, Giovanna di Marzo Serugendo |
| Table of 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.
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