[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS Coordination Models, Languages, and Applications (CM) Special Track at the 26th Symposium on Applied Computing (SAC 2011) TaiChung, Taiwan March 21 - 25, 2011 (http://sac2011.apice.unibo.it/) IMPORTANT DATES Aug. 24, 2010: Paper submissions Oct. 12, 2010: Author notification Nov. 2, 2010: Camera-Ready Copy For the past twenty-five years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. TRACK ON COORDINATION MODELS, LANGUAGES, AND APPLICATIONS Building on the success of the twelfth previous editions (1998-2010), a special track on coordination models, languages and applications will be held at SAC 2011. 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 of coordination technologies - Industrial points of view: experiences, applications, open issues - Internet- and Web-based coordinated systems - Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations - Coordination in Service-oriented architectures and Web Services - Languages for service description and composition - Models, frameworks and tools for Group Decision Making - Modern Workflow Management Systems and Case-Handling - Coordination in Computer Supported Cooperative Work - Software architectures and software engineering techniques - Configuration and Architecture Description Languages - Coordination Middleware and Infrastructures - Coordination in GRID systems - Self-organization-based approaches to coordination such as those based on swarm and stigmergy - 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) PROCEEDINGS Papers accepted for the Special Track on Coordination Models, Languages and Applications will be published by ACM both in the SAC 2011 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 should be no longer than 5 pages, and should be in the ACM two-column page format (doc template, pdf template, latex template). It will be possible to have up to 3 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/sac2011/. PC MEMBERS Farhad Arbab, CWI Amsterdam and Leiden University (Netherlands) Marcello Bonsangue, Leiden University (Netherlands) Rocco De Nicola, University of Firenze (Italy) Jose Fiadero, University of Leicester (Italy) Keith Harrison-Broninski, Role Modellers Ltd (UK) Kurt Lichtner, Sybase iAnywhere (Canada) Henry Muccini, University of l'Aquila (Italy) Andrea Omicini, University of Bologna (Italy) Manuel Oriol, University of York (UK) Razvan Popescu, Trinity College Dublin (Ireland) Antonio Porto, University of Porto (Portugal) Rosario Pugliese, University of Florence (Italy) Alessandro Ricci, University of Bologna (Italy) Davide Rossi, University of Bologna (Italy) Yasuyuki Tahara, National Institute of Informatics (Japan) Carolyn Talcott, SRI International (USA) Emilio Tuosto, University of Leicester (UK) Michael Ignaz Schumacher, University of Applied Sciences (Switzerland) Robert Tolksdorf, Freie Universitaet Berlin (Germany) Mirko Viroli, University of Bologna (Italy) George Wells, Rhodes University (South Africa) Herbert Wiklicky, Imperial College London (UK) Paweł T. Wojciechowski, Poznań University of Technology (Poland) TRACK CO-CHAIRS Matteo Casadei, Alma Mater Studiorum - Universita' di Bologna, Italy -- LA RICERCA C’È E SI VEDE: 5 per mille all'Università di Bologna - C.F.: 80007010376 http://www.unibo.it/Vademecum5permille.htm Questa informativa è inserita in automatico dal sistema al fine esclusivo della realizzazione dei fini istituzionali dell’ente.