Visible to the public 1st CfP: ACM SAC 2015: Track on Coordination Models, Languages and Applications

No replies
Anonymous
Anonymous's picture

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

http://sac2015.apice.unibo.it/

April 13 - 17, 2015
Salamanca, Spain

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 infrastructuresApplications
  • 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, 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 and Autonomic Computing
  • 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
------------------------

Sept 12, 2014: Paper submission
Nov 17, 2014: Author notification
Dec 8, 2014: Camera-Ready Copy
Dec 15 2014: Author Registration

------------------------
Program Co-Chairs
------------------------

Mirko Viroli
Alma Mater Studiorum - Universita' di Bologna
http://mirkoviroli.apice.unibo.it
email: mirko.viroli@unibo.it

Jose Luis Fernandez-Marquez
University of Geneva
http://www.cui.unige.ch/~fernajos/
email: joseluis.fernandez@unige.ch

Francesco Tiezzi
IMT Institute for Advanced Studies Lucca
http://www.imtlucca.it/francesco.tiezzi
email: francesco.tiezzi@imtlucca.it

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

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

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

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
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: https://www.softconf.com/d/sac2015/.

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