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

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

FacebookTwitterLinkedInGoogle

Link: http://sac2015.apice.unibo.it/
 
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)
http://sac2015.apice.unibo.it/

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

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



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

Related Resources

ACM SAC DBDM Track 2025   CFP: ACM SAC DBDM Track
CAV 2025   37th International Conference on Computer Aided Verification
OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
IJDMS 2024   International Journal of Database Management Systems
ACM ICBRA 2025   ACM--2025 12th International Conference on Bioinformatics Research and Applications (ICBRA 2025)
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ICBRA 2025   ACM--2025 12th International Conference on Bioinformatics Research and Applications (ICBRA 2025)
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SLE 2025   1st CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
GLECC 2025   GLECC 2025 - International Conference on Globalisation in Languages, Education, Culture, and Communication