[TYPES/announce] 2nd CFP - Coordination Models, Languages and Applications - CM track at ACM SAC 2012

Jose Luis Fernandez Marquez fernandez at iiia.csic.es
Mon Jul 18 09:18:22 EDT 2011

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


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




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



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.



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.



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: 



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



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

More information about the Types-announce mailing list