Coordination 2018: Difference between revisions
No edit summary |
No edit summary |
||
| (6 intermediate revisions by the same user not shown) | |||
| Line 6: | Line 6: | ||
|Start date=2018/06/18 | |Start date=2018/06/18 | ||
|End date=2018/06/21 | |End date=2018/06/21 | ||
|Submission deadline=2018/02/23 | |||
|Homepage=http://2018.discotec.org/cfp_coordination.html | |Homepage=http://2018.discotec.org/cfp_coordination.html | ||
|City=Madrid | |City=Madrid | ||
|Country=Spain | |Country=Spain | ||
|Abstract deadline=2018/02/02 | |||
|Paper deadline=2018/02/09 | |||
|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 16: | Line 21: | ||
}} | }} | ||
==Topics== | ==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. | |||
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