[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfP (Deadline extended to Sept. 28th) : Coordination Models, Languages and Applications - CM track at ACM SAC 2013


                                   Coordination Models, Languages and Applications

                        Special Track of the 28th ACM Symposium on Applied Computing (SAC'13)


                                                 March 18 - 22, 2013

                        Institute of Engineering of the Polytechnic Institute of Coimbra (ISEC-IPC)

                                                   Coimbra, Portugal

  Building on the success of the fourteenth previous editions (1998-2012), a special track on coordination models,
languages and applications will be held at SAC 2013. 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, programming and implementation techniques
    - Applications
    - Internet, Web, and pervasive computing systems coordination
    - Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations
    - 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)
    - Software architectures and software engineering techniques
    - Configuration and Architecture Description Languages
    - Middleware platforms
    - Self-organising, self-adaptive and nature-inspired coordination approaches
    - Coordination technologies, systems and infrastructures
    - Relationship with other computational models such as object oriented, declarative (functional, logic, constraint)
        programming or their extensions with coordination capabilities
    - Formal aspects (semantics, reasoning, verification)
    - Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration,
       choreography, etc), and Pervasive Computing

  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.

   Important Dates

    *** Sept 28, 2012: Paper submission  (Extended deadline)***
    Nov 10, 2012: Author notification
    Nov 30, 2012: Camera-Ready Copy
    March 18-22, 2013: Conference

   Program Co-Chairs

Mirko Viroli
    Alma Mater Studiorum - Universita' di Bologna
    email: mirko.viroli@xxxxxxxx

Gabriella Castelli
    Universita' di Modena e Reggio Emilia
    email: gabriella.castelli@xxxxxxxxxx

Jose Luis Fernandez-Marquez
    University of Geneva
    email: joseluis.fernandez@xxxxxxxx

   Program Committee Members

Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands
Jacob Beal, BBN Technologies, USA
Cristian Borcea, New Jersey Institute of Technology, USA
Dave Clarke, Katholieke Universiteit Leuven, Belgium
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
Markus Endler, University of Sao Paulo, Brazil
Alois Ferscha, Johannes Kepler Universitat Linz, Austria
Keith Harrison-Broninski, Role Modellers Ltd, UK
Sam Malek, George Mason University, USA
Manuel Mazzara, Newcastle University, UK
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
Alessandro Ricci, University of Bologna, Italy
Juan Antonio Rodriguez Aguilar, IIIA-CSIC, Spain
Davide Rossi, University of Bologna, Italy
Michael Ignaz Schumacher, University of Applied Sciences, Switzerland
Yasuyuki Tahara, National Institute of Informatics, Japan
Paul Tarau, University of North Texas, USA
Robert Tolksdorf, Freie Universitaet Berlin, Germany
Giuseppe Valetto, Drexel University, USA
Daniel Villatoro, Barcelona Digital Technological Center, Spain
Meritxell Vinyals, Artificial Intelligence Research Institute, Spain
Eiko Yoneki, University of Cambridge Computer Laboratory, UK
George Wells, Rhodes University, South Africa
Herbert Wiklicky, Imperial College London, UK
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 2013 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).

  For accepted papers, registration for the conference is required and allows accepted papers to be printed in the
conference proceedings. The accepted paper MUST be presented by an author or a proxy. This is a requirement for the
paper to be part of 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 2 pages plus 1 extra page at $80.
The poster session procedures and details will be posted on SAC 2013 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 2013 website. Submission of the same abstract to multiple tracks is not allowed.