[TYPES/announce] ACM SAC:CM 2016 - Track on Coordination Models, Languages and Applications

Tue Jun 30 12:57:15 EDT 2015

**************************************************************************************
                  Coordination Models, Languages and Applications
        Special Track of the 31st ACM Symposium on Applied Computing
(SAC'16)
                           http://sac2016.apice.unibo.it

                                April 4 - 8, 2016
                                  Pisa, Italy

**************************************************************************************

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,
     CSCW)
   - 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
     capabilities
   - 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 11, 2015: Submission of papers and SRC research abstracts
     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
    http://mirkoviroli.apice.unibo.it
    email: mirko.viroli at unibo.it

Francesco Tiezzi
    University of Camerino, Italy
    http://tiezzi.unicam.it/
    email: francesco.tiezzi@ unicam.it

----------------------------------------
   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, 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

---------------------
   Proceedings
---------------------

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
information.

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
maximum.

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: http://www.acm.org/conferences/sac/sac2016/.

-------------------------
   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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150630/9c0d93da/attachment-0001.html>