[TYPES/announce] ACM SAC 2015: Track on Coordination Models, Languages and Applications - First CfP

Francesco tiezzi francesco.tiezzi at imtlucca.it
Fri Jun 20 04:28:51 EDT 2014


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

     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 at unibo.it

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

Francesco Tiezzi
    IMT Institute for Advanced Studies Lucca
    http://www.imtlucca.it/francesco.tiezzi
    email: francesco.tiezzi at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140620/f976a40a/attachment-0001.html>


More information about the Types-announce mailing list