==================================================================== First Call for Papers COORDINATION 2012 14th International Conference on Coordination Languages and Models http://www.coordination2012.org/ part of the federated event DisCoTec'12 (Distributed Computing Techniques) http://discotec.ict.kth.se/ Stockholm, Sweden, June 14-15, 2012 ==================================================================== * Scope * As ICT technologies and software-intensive systems are increasingly embedded into the fabric of everyday life, effective coordination techniques are needed to enhance our ability to develop software that is responsive to emerging societal demands and changing application needs, exploits effectively recent advances in computing and communication technology, and is capable of adaptive behaviour in the short and in the long term. COORDINATION is the premier forum for exposing innovating research results and relevant experience reports on software technologies for collaboration and coordination in concurrent, distributed, and socio-technical systems. Its distinctive feature is the emphasis on high-level abstractions that capture interaction patterns manifest at all levels of the software architecture and extending into the realm of the end-user and social domain. Coordination 2012 seeks high-quality contributions on the usage, study, design and implementation of languages, models and techniques for coordination in distributed, concurrent, pervasive, and multicore software systems. The focus is on languages, formalisms, models, middleware, patterns, and algorithms that conceptually support a proper engineering of the interaction dimension. Research paper should demonstrate an ability to increase modularity, adaptivity, simplify reasoning, and ultimately enhance the software development process and its integration into a socio-techical context. Both practical and foundational perspectives are of interest. Given the increasing importance of coordination models and technologies in almost every domain of our existence, the organizers of Coordination 2012 are keen to provide a forum for studies that address practical concerns and industrial grade solutions, e.g., the introduction of concurrency and distribution concepts to novel domains, comparative evaluations of programming models on important problems, and the adoption of domain-specific languages. Experience reports are thus welcome that describe lessons learned from the application of proposed models and techniques to problems in the real world. In addition, the conference this year will welcome short "Visions in Progress" papers that tries to look far ahead into the future of ICT and society to expose innovative - though preliminary - ideas on highly innovative models, technologies, or applications, related to coordination models/languages/technologies. * Topics of interest * COORDINATION 2012 topics of interest include (but are not limited to): * PROGRAMMING ABSTRACTIONS AND LANGUAGES: Design and implementation of languages and middleware related to multicore programming, stream programming, data parallel programming, event-driven programming, web programming, reactive programming, ... * COORDINATION MODELS AND PARADIGMS: Service composition and orchestration, tuple spaces, publish-subscribe systems, event processing, workflow management, cloud managemement, ... * SOFTWARE MANAGEMENT AND SOFTWARE ENGINEERING: Component and module systems for distributed software, dynamic software evolution and update technologies, configuration and deployment architectures, multicore and distributed coordination patterns, ... * SPECIFICATION AND VERIFICATION: Modeling and analysis of issues related to security, privacy, dependability, resource-awareness, real time, ... * FOUNDATIONS AND TYPES: Calculi, process models, type systems for concurrency and distribution, component conformance, contracts, ... * SOFTWARE FOR HIGHLY DECENTRALIZED TECHNOLOGIES: P2P frameworks, nomadic networks, mobile ad-hoc networks, sensor networks, RFID-technology, vehicle-area networks, body-area networks, Internet-of-Things, cyber-physical systems, ... * COORDINATION FOR ADAPTIVE AND AUTONOMIC SYSTEMS: adaptive coordination models and patterns, self-organization and coordination, coordination in systems of feedback loops, middleware for adaptive coordination, multiagent systems, ... * SOCIO-TECHNICAL SYSTEMS: coordination in social and socio-technical systems, coordination and social networking, coordination for crowd-sourcing and human computation systems, coordination in urban environments, ... * COORDINATION FOR HUMANITY: Applications of coordination models to people-centric sensing, ambient intelligence, green computing, coordination for sustainability, ... * EXPERIENCE REPORTS: Case studies and industrial experiences with coordination in multicore and/or distributed development, business process modeling, e-commerce, app-development, web applications, ... * Submissions * All Research and Experience Papers must report on original unpublished work and cannot be under review for publication elsewhere. Innovation, scientific and technical soundness, and the capability to prove the advantages of the proposed techniques, other than their potential for applicability, will be the key criteria for evaluating submissions. Maximum length: 15 pages. Visions in Progress papers can report on work that has already been presented elsewhere, but the paper in itself must be a new synthesis and must clearly outline the motivation for the vision and the path that can eventually lead to its realization. Solid motivations, radical innovation, capability to look far beyond the state of the art, and feasibility of the proposed vision, will be the key criteria for evaluating submissions. Maximum length: 5 pages. All contributions should be submitted electronically as postscript or PDF, using the Springer LNCS style, via EasyChair. Submissions exceeding the state length will be rejected without reviewing. Each paper will undergo a thorough evaluation and the conference proceedings will be published by Springer-Verlag in the LNCS series. Proceedings will be made available at the conference. Submission is a firm commitment that at least one of the authors will attend the conference, if the paper is accepted. * Important Dates * Abstract Submission (all categories): February 10, 2012 Paper Submission (all categories): February 17, 2012 Notifications: March 26, 2012 Camera Ready Papers: April 9, 2012 Conference: June 14-15, 2012 * Program Co-Chairs * Marjan Sirjani, Reykjavic University, Iceland Franco Zambonelli, Università di Modena e Reggio Emilia, Italy * Program Committee * Farhad Arbab, CWI, The Netherlands Borzoo Bonakdarpour, University of Waterloo, Canada Roberto Bruni, University of Pisa, Italy Carlos Canal, University of Malaga, Spain Wolfgang De Meuter, Free University of Bruxelles, Belgium Rocco De Nicola, University of Firenze, Italy Patrick Eugster, Purdue University, USA Robert Hirschfeld, University of Postdam, Germany Jean-Marie Jacquet, University of Namur, Belgium Mohammad Mahdi Jaghoori, CWI, The Netherlands Christine Julien, University of Texas, USA Ramtin Khosravi, University of Tehran, Iran Natallia Kokash, CWI, The Netherlands Christian Krause, University of Postdam, Germany Doug Lea, State University of New York at Oswego, USA Jay Mccarthy, Brigham Young University, USA Shiva Nejati, Simula Research Lab, Norway Andrea Omicini, University of Bologna, Italy Jose Proenca, K.U. Leuven, Belgium Jan Rutten, CWI, The Netherlands Gwen Salaün, Grenoble INP, INRIA, France Michael Ignaz Schumacher, University of Applied Sciences Western Switzerland, Switzerland Manuel Serrano, INRIA, France Marjan Sirjani, Reykjavic University, Iceland Meng Sun, Peking University, China Vasco T. Vasconcelos, University of Lisbon, Portugal Carolyn Talcott, Stanford University, USA Mirko Viroli, University of Bologna, Italy Franco Zambonelli, Università di Modena e Reggio Emilia, Italy * Steering Committee * Gul Agha, University of Illinois at Urbana-Champaign, USA Farhad Arbab, CWI, The Netherlands (chair) Dave Clarke, Katholieke Universiteit Leuven, Belgium Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Rocco De Nicola, University of Florence, Italy Catalin Roman, Washington University in Saint Louis, USA Carolyn Talcott, SRI, USA Vasco Vasconcelos, University of Lisbon, Portugal