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

[PVS] Final CfP: COORDINATION 2012 (deadlines extended)



[We apologize for multiple copies]

====================================================================

                       Final 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

====================================================================

Highlights: 

- Deadlines extended !!!

- Invited Speaker: Schahram Dustdar, Vienna University of Technology,
  Austria. URL: http://www.infosys.tuwien.ac.at/Staff/sd/

- Extended versions of high-quality papers will be selected for
fast-track review on the ACM Transactions on Autonomous and Adaptive
Systems.


* Important Dates (NEW DEADLINES) *

Abstract Submission (all categories): February 20, 2012 (EXTENDED)
Paper Submission (all categories):    February 27, 2012 (EXTENDED)
Notifications:                        March 26, 2012
Camera Ready Papers:                  April  9, 2012
Conference:                           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. The distinctive feature of coordination is
its emphasis on high-level abstractions that capture interaction
patterns manifest at all levels of the software architecture and
extend into the realm of the end-user and social domain.

The Coordination conference series is the premier forum for exposing
innovative research results and relevant experience reports on
software technologies for collaboration and coordination in
concurrent, distributed, and socio-technical systems. 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 papers 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 "Vision in
Progress" papers that try to look far ahead into the future of ICT and
society to expose novel - 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 management, ...

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

Vision 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 stated 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.

The authors of the accepted papers will also have the opportunity to
present their work in a poster session.


* Program Co-Chairs *

Marjan Sirjani, Reykjavic University, Iceland
Franco Zambonelli, UniversitÓ di Modena e Reggio Emilia, Italy

* Program Committee *

Farhad Arbab, CWI and Leiden University, The Netherlands
Borzoo Bonakdarpour, University of Waterloo, Canada
Marcello Bonsangue, Leiden University and CWI, The Netherlands
Roberto Bruni, University of Pisa, Italy
Carlos Canal, University of Malaga, Spain
Frank de Boer, CWI and Leiden University, The Netherlands
Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium
Rocco De Nicola, IMT Lucca and University of Firenze, Italy
Patrick Eugster, Purdue University, USA
Robert Hirschfeld, Hasso-Plattner-Institute 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, Leiden University, 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, Alma Mater Studiorum - UniversitÓ  di Bologna, Italy
Jose Proenca, Katholieke Universiteit Leuven Leuven, Belgium
Jan Rutten, CWI and Radboud University, 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, SRI International, USA
Mirko Viroli, Alma Mater Studiorum - UniversitÓ  di 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, IMT Lucca and University of Firenze, Italy
Catalin Roman, Washington University in Saint Louis, USA
Carolyn Talcott, SRI International, USA
Vasco Vasconcelos, University of Lisbon, Portugal
Gianluigi Zavattaro, University of Bologna, Italy