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

[PVS] Second CFP - Coordination Models,Languages and Applications - CM track at ACM SAC 2012



 (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 othe!
 r 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