-------- Original Message -------- Subject: Second CFP - Coordination Models, Languages and Applications - CM track at ACM SAC 2012 Date: Fri, 15 Jul 2011 12:40:33 +0200 (CEST) From: Jose Luis Fernandez-Marquez fernandez@iiia.csic.es To: gustaf.neumann@wu-wien.ac.at CC: Gabriella Castelli gabriella.castelli@unimore.it, Jose Luis Fernandez-Marquez fernandez@iiia.csic.es

(Sorry for multiple copies)

CfP: ACM SAC Special Track on Coordination Models, Languages and Applications

----------------------------------------------------------------------- 2nd CALL FOR PAPERS -----------------------------------------------------------------------

Coordination Models, Languages and Applications

Special Track of the 27th Symposium On Applied Computing (SAC 2012) March 25 - 29, 2012, Riva del Garda (Trento), Italy

http://sac2012.apice.unibo.it

-----------------------------------------------------------------------

IMPORTANT DATES

Aug. 31, 2011: Paper submissions Oct. 12, 2011: Author notification Nov. 2, 2011: Camera-Ready Copy

-----------------------------------------------------------------------

AIMS& SCOPE

Building on the success of the thirteen previous editions (1998-2011), a special track on coordination models, languages and applications will be held at SAC 2012. 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) in such a way that the resulting ensemble can execute as a whole, forming a software system with desired characteristics and functionalities which possibly takes advantage of parallel and distributed systems. The coordination paradigm is closely related to other contemporary software engineering approaches such as multi-agent systems, service-oriented architectures, component-based systems and related middleware platforms. Furthermore, the concept of coordination exists in many other Computer Science areas such as workflow systems, cooperative information systems, distributed artificial intelligence, and Internet technologies.

After more than a decade of research, the coordination paradigm is gaining increased momentum in state-of-the-art engineering paradigms such as multi-agent systems and service-oriented architectures: in the first case, coordination abstractions are perceived as essential to design and support the working activities of agent societies; in the latter case, service coordination, orchestration, and choreography are going to be essential aspects of the next generations of systems based on Web services.

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 coordinated systems - 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 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, type systems, reasoning, verification) - Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration, choreography, etc), and Pervasive Computing.

-----------------------------------------------------------------------

PROCEEDINGS

Papers accepted for the Special Track on Coordination Models, Languages and Applications will be published by ACM both in the SAC 2012 proceedings and in the Digital Library. A Special Issue on an International Journal (with IF) based on selected papers is planned just after the conference.

-----------------------------------------------------------------------

PAPER SUBMISSION

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

Submission is entirely automated via the STAR Submission System, which is available from the main SAC Web Site: http://www.acm.org/conferences/sac/sac2012/.

-----------------------------------------------------------------------

TRACK CO-CHAIR

Mirko Viroli, Alma Mater Studiorum - Universita di Bologna, Italy Gabriella Castelli, University of Modena and Reggio Emilia, Italy Jose Luis Fernandez-Marquez, IIIA-CSIC, Spain

-----------------------------------------------------------------------

PROGRAM COMMITTEE

Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands Marcello Bonsangue, Leiden University, Netherlands Dave Clarke, Katholieke Universiteit Leuven, Belgium Ferruccio Damiani, University of Torino, Italy Rocco De Nicola, University of Firenze, Italy Simon Dobson, University of St Andrews, Scotland Keith Harrison-Broninski, Role Modellers Ltd, UK Manuel Mazzara, Newcastle University, UK Henry Muccini, University of l'Aquila, Italy Andrea Omicini, University of Bologna, Italy Manuel Oriol, University of York, UK Antonio Porto, University of Porto, Portugal Rosario Pugliese, University of Florence, Italy Alessandro Ricci, University of Bologna, Italy Davide Rossi, University of Bologna, Italy Norman Salazar, Artificial Intelligence Research Institute, Spain Michael Ignaz Schumacher, University of Applied Sciences, Switzerland Yasuyuki Tahara, National Institute of Informatics, Japan Carolyn Talcott, SRI International, USA Paul Tarau, University of North Texas, USA Robert Tolksdorf, Freie Universitaet Berlin, Germany Emilio Tuosto, University of Leicester, UK Meritxell Vinyals, Artificial Intelligence Research Institute, Spain 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