19th International Conference on Coordination Models and Languages
Modern information systems rely increasingly on combining concurrent, distributed, mobile, adaptive, reconfigurable and heterogenous components. New models, architectures, languages and verification techniques are necessary to cope with the complexity induced by the demands of today's software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behaviour from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.
Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.
COORDINATION 2017 has the pleasure to have a keynote presentation by Prof. Giovanna Di Marzo Serugendo (UniGE, Switzerland).
Bio:
Prof. Giovanna Di Marzo Serugendo is the Director of the Centre Universitaire d'Informatique since 2016, an interfaculty research and teaching center of the University of Geneva, Switzerland. Giovanna received her Ph.D. in Software Engineering from the Swiss Federal Institute of Technology in Lausanne (EPFL) in 1999. Her research interests relate to the engineering of decentralised software with self-organising and emergent behaviour. This involves studying natural systems, designing and developing artificial collective systems, and verifying reliability and trustworthiness of those systems. Giovanna co-founded the IEEE International Conference on Self-Adaptive and Self-Organising Systems (SASO) and the ACM Transactions on Autonomous Adaptive Systems (TAAS), for which she served as EiC from 2005 to 2011.
Title:
Spatial Edge Services
Abstract:
Ubiquitous and context-aware sensors are increasing in number and aim at providing comfort and better life
quality. They are spatially distributed and their computation capacity are still under-exploited. "Spatial Edge Services" are a new generation of services exploiting IoT and spatially distributed data. They result from collective and decentralised interactions of multiple computing entities.
They rely on a logic and chemical-based coordination model. Spatial edge services provide innovation capabilities for the software industry, connected objects manufacturers and edge computing industry. This talk discusses Spatial Edge Services, their underlying coordination model, a set of development tools, a series of case studies scenarios and future visions.
Topics of interest encompass all areas of coordination, including (but not limited to) coordination related aspects of:
The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series.
Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous issues of COORDINATION.
Authors are invited to submit full papers electronically in PostScript or PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed before February 3, 2017. Submission of the full paper is due no later than February 10, 2017. Submissions are handled through the EasyChair conference management system, accessible from the conference web site: http://2017.discotec.org.
Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP’s Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). The submissions must not exceed the total page number limit (see below), including figures and references, prepared using Springer’s LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair https://easychair.org/conferences/?conf=coordination2017. We solicit two kinds of submissions:
The conference proceedings, formed by accepted submissions of both kinds above, will be published by Springer in the LNCS Series. Extended versions of a selection of the best full papers is planned to be published in a special issue of an international journal as in previous issues of COORDINATION.
Francesco Tiezzi, University of Camerino, Italy