posted by user: Tiezzi || 1098 views || tracked by 4 users: [display]

ACM CM:SAC 2015 : Track on Coordination Models, Languages and Applications


When Apr 13, 2015 - Apr 17, 2015
Where Salamanca, Spain
Submission Deadline Oct 10, 2014
Notification Due Nov 30, 2014
Final Version Due Dec 15, 2014
Categories    coordination   languages   formal methods   self-organization

Call For Papers


Coordination Models, Languages and Applications
Special Track of the 30th ACM Symposium on Applied Computing (SAC'15)

April 13 - 17, 2015
Salamanca, Spain

The deadline for paper submission has been extended to October 10th, 2014

Building on the success of the fifteenth previous editions (1998-2014), a special
track on coordination models, languages and applications will be held at SAC 2015.
Over the last decade, we have witnessed the emergence of models, formalisms and
mechanisms to describe concurrent and distributed computations and systems based on
the concept of coordination. The purpose of a coordination model is to enable the
integration of a number of possibly heterogeneous components (processes, objects,
agents, services) in such a way that the resulting ensemble can execute as a whole,
forming a distributed software system with desired characteristics and functionalities.
This is done in terms of coordination abstractions, languages, algorithms, mechanisms,
and middleware specifically focused on the management of component interaction.

The coordination paradigm crosscuts a number of contemporary software engineering
approaches and fields, which we aim to cross-fertilize and bring contribution to,
including in particular: multi-agent systems, self-adaptative and self-organising
systems, service-oriented architectures, component-based systems, and all related
middleware platforms.

The Special Track on Coordination Models, Languages and Applications takes a
deliberately broad view of what constitutes coordination. Accordingly, major topics
of interest this year will include:

- Novel models, languages, formalisms, programming and implementation techniques
- Coordination technologies, systems and infrastructures
- Applications
- Middleware platforms
- Formal aspects (semantics, reasoning, verification)
- Software architectures and software engineering techniques
- Coordination of multi-agent systems, including mobile agents, intelligent agents,
and agent-based simulations
- Internet, Web, and pervasive computing systems coordination
- Languages for service description and composition
- Models, frameworks and tools for Group Decision Making
- All aspects related to Cooperative Information Systems (e.g. workflow management,
- Configuration and Architecture Description Languages
- Self-organising, self-adaptive and nature-inspired coordination approaches
- Relationship with other computational models such as object oriented, declarative
(functional, logic, constraint) programming or their extensions with coordination
- Coordination models and specification in Service-Oriented Architectures, Web Service
technologies (orchestration, choreography, etc.),Pervasive Computing and Autonomic
- Policy-based approaches to coordination and self-adaptation

We also welcome papers on practical systems or novel applications that are aimed at
reaching coordination between components and services, especially if those systems and
novel applications challenge existing ideas and models.

In previous editions, CM Special Track organisers have been inviting authors of selected
papers for special issues in high impact journals, such as, ACM Transactions on Autonomous
and Adaptive Systems (TAAS) and Science of Computer Programming (SCP).

Important Dates

Oct 10, 2014: Paper submission (EXTENDED)
Nov 30, 2014: Author notification
Dec 15, 2014: Camera-Ready Copy

Program Co-Chairs

Mirko Viroli
Alma Mater Studiorum - Universita' di Bologna

Jose Luis Fernandez-Marquez
University of Geneva

Francesco Tiezzi
IMT Institute for Advanced Studies Lucca

Program Committee Members

Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands
Jacob Beal, BBN Technologies, USA
Ferruccio Damiani, University of Torino, Italy
Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium
Rocco De Nicola, Institute for Advanced Studies Lucca, Italy
Simon Dobson, University of St Andrews, Scotland
eva Kühn, Vienna University of Technology, Austria
Hung La, Rutgers University, USA
Flemming Nielson, Technical University of Denmark
Michael O'Grady, University College Dublin, Ireland
Andrea Omicini, University of Bologna, Italy
Manuel Oriol, University of York, UK
António Porto, University of Porto, Portugal
Rosario Pugliese, University of Firenze, Italy
Alessandro Ricci, University of Bologna, Italy
Juan Antonio Rodriguez Aguilar, IIIA-CSIC, Spain
Michael Ignaz Schumacher, University of Applied Sciences, Switzerland
Marjan Sirjani, Reykjavik University, Iceland
Yasuyuki Tahara, National Institute of Informatics, Japan
Robert Tolksdorf, Freie Universitaet Berlin, Germany
Giuseppe Valetto, Drexel University, USA
Eiko Yoneki, University of Cambridge Computer Laboratory, UK
Nobuko Yoshida, Imperial College London, UK
George Wells, Rhodes University, South Africa
Danny Weyns, Linnaeus University, Sweden
Pawel T. Wojciechowski, Poznan University of Technology, Poland


Papers accepted for the Special Track on Coordination Models, Languages and
Applications will be published by ACM both in the SAC 2015 proceedings and in
the Digital Library.

Paper submission and format

All papers should represent original and previously unpublished works that
currently are not under review in any conference or journal.

The author(s) name(s) and address(es) must NOT appear in the body of the paper,
and self-reference should be in the third person. This is to facilitate blind
review. Only the title should be shown at the first page without the author's

Submitted papers must be no longer than 6 pages and in the ACM two-column page
format (doc template, pdf template, latex template). It will be possible to have
up to 2 extra pages in the proceeding at a charge of $80 per page (total 8 pages

Paper registration is required, allowing the inclusion of the paper/poster in the
conference proceedings. An author or a proxy attending SAC MUST present the paper.
This is a requirement for the paper/poster to be included in the ACM/IEEE digital
library. No-show of scheduled papers and posters will result in excluding them
from the ACM/IEEE digital library.

Submission is entirely automated via the STAR Submission System, which is available
from the main SAC Web Site:

Poster Sessions

Papers that received high reviews (that is acceptable by reviewer standards) but
were not accepted due to space limitation can be invited for the poster session.
Poster should be not longer than 2 pages plus 1 extra page at $80. The poster
session procedures and details will be posted on SAC 2015 website as soon as they
become available.

Student research abstracts competition

Graduate students are invited to submit research abstracts (minimum of 2-page and
maximum of 4-page) following the instructions published at SAC 2015 website.
Submission of the same abstract to multiple tracks is not allowed.

Related Resources

SAC PL 2017   ACM SAC'17 PL Track
NFM 2017   The 9th NASA Formal Methods Symposium
SIGIR 2017   The 40th International ACM SIGIR Conference on Research and Development in Information Retrieval
FSEN 2017   Fundamentals of Software Engineering
IEA/AIE 2017 PGM Track 2017   IEA/AIE 2017 - Special Track on Graphical Models: from Theory to Applications
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
h-workload 2017   H-WORKLOAD 2017 - The 1st International Symposium on Human Mental Workload: Models and Applications
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
Ada-Europe 2017   International Conference on Reliable Software Technologies
CIKM 2017   The 26th 2017 ACM Conference on Information and Knowledge Management