Coordination 2019: Difference between revisions
Created page with "{{Event |Acronym=Coordination 2019 |Title=21th International Conference on Coordination Models and Languages |Series=Coordination |Type=Conference |Start date=2019/06/17 |End..." |
No edit summary |
||
| (10 intermediate revisions by the same user not shown) | |||
| Line 6: | Line 6: | ||
|Start date=2019/06/17 | |Start date=2019/06/17 | ||
|End date=2019/06/21 | |End date=2019/06/21 | ||
|Homepage=https://www.discotec.org/2019/ | |Homepage=https://www.discotec.org/2019/ | ||
|City=Kongens Lyngby | |City=Kongens Lyngby | ||
|Country=Denmark | |Country=Denmark | ||
|Abstract deadline=2019/02/15 | |||
|Paper deadline=2019/02/22 | |||
|Notification=2019/04/12 | |||
|Camera ready=2019/04/26 | |||
|Submitting link=https://easychair.org/conferences/?conf=coordination2019 | |||
|Has coordinator=Technical University of Denmark | |||
|has program chair=Emilio Tuosto, Hanne Riis Nielson | |||
|has Keynote speaker=David Basin, Anne-Marie Kermarrec, Marta Kwiatkowska, Silvio Micali, Martin Wirsing | |||
|Submitted papers=25 | |||
|Accepted papers=15 | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-030-22397-7.pdf | |||
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-22397-7 | |||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-030-22397-7 | |||
}} | }} | ||
==Topics== | ==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:''' | |||
* | *Exploring the frontiers between coordination and control systems | ||
* | *Coordination of emerging parallel/distributed architectures | ||
* | *From coordination to verification and back | ||
==Important Dates== | |||
February 1, 2019 - abstract submission February 15, 2019 - extended abstract submission<br> | |||
February 8, 2019 - paper submission February 22, 2019 - extended paper submission<br> | |||
April 12, 2019 - notification<br> | |||
April 26, 2019 - camera ready<br> | |||
Conferences (DAIS, Coordination, FORTE): Tuesday June 18 - Thursday June 20, 2019<br> | |||
DisCoRail workshop: Monday June 17, 2019<br> | |||
ICE workshop: Thursday June 20 - Friday June 21, 2019 | |||
Latest revision as of 06:53, 17 April 2020
| Coordination 2019 | |
|---|---|
21th International Conference on Coordination Models and Languages
| |
| Event in series | Coordination |
| Dates | 2019/06/17 (iCal) - 2019/06/21 |
| Homepage: | https://www.discotec.org/2019/ |
| Submitting link: | https://easychair.org/conferences/?conf=coordination2019 |
| Location | |
| Location: | Kongens Lyngby, Denmark |
| Important dates | |
| Abstracts: | 2019/02/15 |
| Papers: | 2019/02/22 |
| Notification: | 2019/04/12 |
| Camera ready due: | 2019/04/26 |
| Papers: | Submitted 25 / Accepted 15 (60 %) |
| Committees | |
| Organizers: | Technical University of Denmark |
| PC chairs: | Emilio Tuosto, Hanne Riis Nielson |
| Keynote speaker: | David Basin, Anne-Marie Kermarrec, Marta Kwiatkowska, Silvio Micali, Martin Wirsing |
| 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:
- Exploring the frontiers between coordination and control systems
- Coordination of emerging parallel/distributed architectures
- From coordination to verification and back
Important Dates
February 1, 2019 - abstract submission February 15, 2019 - extended abstract submission
February 8, 2019 - paper submission February 22, 2019 - extended paper submission
April 12, 2019 - notification
April 26, 2019 - camera ready
Conferences (DAIS, Coordination, FORTE): Tuesday June 18 - Thursday June 20, 2019
DisCoRail workshop: Monday June 17, 2019
ICE workshop: Thursday June 20 - Friday June 21, 2019