posted by organizer: tiezzif || 2452 views || tracked by 5 users: [display]

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


When Apr 4, 2016 - Apr 8, 2016
Where Pisa, Italy
Submission Deadline Sep 21, 2015
Notification Due Nov 13, 2015
Final Version Due Dec 11, 2015
Categories    coordination   multi-agent   applications   formal aspects

Call For Papers


Coordination Models, Languages and Applications
Special Track of the 31st ACM Symposium on Applied Computing (SAC'16)

April 4 - 8, 2016
Pisa, Italy

The deadline for paper submission has been extended to September 21st, 2015

Building on the success of the sixteenth previous editions (1998-2015), a special
track on coordination models, languages and applications will be held at SAC 2016.
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, business process management, 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, Internet of Things, 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,
Cloud Computing and Autonomic Computing
- Business Process modelling and verification
- 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

Sep 21, 2015: Submission of papers and SRC research abstracts (Extended)
Nov 13, 2015: Author notification
Dec 11, 2015: Camera-Ready Copy
Dec 18, 2015: Author registration

Program Co-Chairs

Mirko Viroli
Alma Mater Studiorum - University of Bologna, Italy

Francesco Tiezzi
University of Camerino, Italy
email: francesco.tiezzi@

Program Committee Members

Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands
Jacob Beal, BBN Technologies, USA
Olivier Boissier, Ecole des Mines de Saint-Etienne, France
Ferruccio Damiani, University of Torino, Italy
Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium
Rocco De Nicola, IMT Institute for Advanced Studies Lucca, Italy
Giovanna Di Marzo Serugendo, University of Geneve, Switzerland
Schahram Dustdar, TU Wien, Austria
Jose Luiz Fiadeiro, Royal Holloway University of London, UK
Raymond Hu, Imperial College London, UK
Christine Julien, University of Texas at Austin, USA
eva Kuehn, Vienna University of Technology, Austria
Hung La, University of Nevada, Reno, USA
Michele Loreti, University of Firenze, Italy
Emanuela Merelli, University of Camerino, Italy
Marino Miculan, University of Udine, Italy
Flemming Nielson, Technical University of Denmark
Andrea Omicini, University of Bologna, Italy
Manuel Oriol, ABB Corporate Research, Switzerland
Antonio Porto, University of Porto, Portugal
Rosario Pugliese, University of Firenze, Italy
Antonio Ravara, New University of Lisbon, Portugal
Alessandro Ricci, University of Bologna, Italy
Marjan Sirjani, Reykjavik University, Iceland
Yasuyuki Tahara, National Institute of Informatics, Japan
George Wells, Rhodes University, South Africa
Pawel T. Wojciechowski, Poznan University of Technology, Poland
Franco Zambonelli, University of Modena and Reggio Emilia, Italy


Papers accepted for the Special Track on Coordination Models, Languages and
Applications will be published by ACM both in the SAC 2016 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 in the ACM two-column page format (doc template, pdf
template, latex template). The length of the papers is 6 pages (included in the
registration) plus up to 2 extra pages (at extra charge), i.e. 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 3 pages (included in the registration) plus 1
extra page (at extra charge), i.e. total 4 pages maximum. The poster session
procedures and details will be posted on SAC 2016 website as soon as they
become available.

Student research abstracts competition

Graduate students are invited to submit Student Research Competition (SRC) abstracts
(maximum of 2 pages in ACM camera-ready format) following the instructions published
at SAC 2016 website. Submission of the same abstract to multiple tracks is not allowed.
All research abstract submissions will be reviewed by researchers and practitioners
with expertise in the track focus area to which they are submitted. Authors of selected
abstracts (up to 20 students) will have the opportunity to give poster and oral
presentations of their work and compete for three top-winning places. The winners will
receive medals, cash awards, and SIGAPP recognition certificates during the conference
banquet. Invited students receive SRC travel support (US$500) and are eligible to apply
to the SIGAPP Student Travel Award Program (STAP) for additional travel support.

Related Resources

SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
IJPLA 2020   International Journal of Programming Languages and Applications
MODELS 2020   Model Driven Engineering Languages and Systems
TFP 2021   22nd Symposium on Trends in Functional Programming
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
MVA 2021   17th International Conference on Machine Vision Applications
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
IJCSEA 2020   International Journal of Computer Science, Engineering and Applications
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
ACM--ICHMI--Ei Compendex, Scopus 2021   ACM--2021 International Conference on Human–Machine Interaction (ICHMI 2021)--EI Compendex, Scopus