[TYPES/announce] CFP - COORDINATION 2013 - 2nd Announcement

Francesco Tiezzi francesco.tiezzi at imtlucca.it
Tue Jan 29 16:37:00 EST 2013

====================== Second Call for Papers ======================
                         COORDINATION 2013
 15th International Conference on Coordination Models and Languages
      http://coordination.discotec.org/ - part of DisCoTec 2013
                   Firenze, Italy, June 3-5 2013

February 4, 2013             Abstract submission
February 11, 2013            Paper submission
March 18, 2013               Notification of acceptance
March 25, 2013               Camera-ready version
April 25, 2013               Early registration
June 3-5 2013                Conference

COORDINATION 2013 is the premier forum for publishing research results
and experience reports on software technologies for collaboration and
coordination in concurrent, distributed, and socio-technical systems.
Its distinctive feature is its 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 domain.
We seek 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.

- programming abstractions and languages;
- coordination models and paradigms;
- software management and software engineering;
- specification and verification;
- foundations and types;
- software for decentralized technologies;
- multicore programming;
- adaptive and autonomic systems;
- coordination for social and socio-technical systems.

- Research papers: that demonstrate an ability to increase
modularity, improve adaptive behavior, simplify reasoning, and
ultimately enhance the software development process and its integration
into a socio-technical context. Both practical and foundational
perspectives are of interest.
- Experience reports: that describe lessons learned from the application
of proposed models and techniques to problems in the real world.
- Visions in Progress papers: that look far ahead into the future
of coordination-related ideas and explore the long-term vision of
coordination languages, models, middleware and algorithms.

All Research Papers and Experience Reports must report on original
unpublished work and cannot be under review for publication elsewhere.
The key criteria for evaluating submissions will be innovation,
scientific and technical soundness, and the capability to prove the
advantages of the proposed techniques (in addition to their potential
applicability). 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. The key criteria for
evaluating submissions will be solid motivations, radical innovation,
capability to look far beyond the state of the art, and feasibility
of the proposed vision. Maximum length: 8 pages.

All contributions should be submitted electronically as Postscript
or PDF, using the Springer LNCS style, via the following EasyChair
submission site:

Submissions exceeding the category's stated length might be rejected
without review. 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 of any category of paper is a commitment that at least one
of the authors will attend the conference if the paper is accepted.

Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy)
Christine Julien (The University of Texas at Austin, USA)

Gul Agha (The University of Illinois at Urbana Champaign, USA)
Saddek Bensalem (Verimag Laboratory, France)
Borzoo Bonakdarpour (The University of Waterloo, Canada)
Giacomo Cabri (Università di Modena e Reggio Emilia, Italy)
Paolo Ciancarini (Università di  Bologna, Italy)
Dave Clarke (KU Leuven, Belgium)
Frank de Boer (CWI, The Netherlands)
Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium)
Jose' Luiz Fiadeiro (Royal Holloway University of London, UK)
Chien-Liang Fok (The University of Texas, USA)
Chris Hankin (Imperial College London, UK)
Raymond Hu (Imperial College London, UK)
K.R. Jayaram (HP Labs, USA)
eva Kuehn (Vienna University of Technology, Austria)
Mieke Massink (ISTI-CNR, Pisa, Italy)
Jamie Payton (The University of North Carolina at Charlotte, USA)
Rosario Pugliese (Università di Firenze, Italy)
Nikola Serbedzija (Fraunhofer FOKUS, Germany)
Marjan Sirjani (Reykjavik University, Iceland)
Robert Tolksdorf (Freie Universität Berlin, Germany)
Emilio Tuosto (University of Leicester, UK)
Vasco T. Vasconcelos (University of Lisbon, Portugal)
Mirko Viroli (Università di Bologna, Italy)

Farhad Arbab (CWI and Leiden University, The Netherlands, chair)
Gul Agha (University of Illinois at Urbana Champaign, USA)
Dave Clarke (KU Leuven, Belgium)
Jean-Marie Jacquet (University of Namur, Belgium)
Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium)
Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy)
Marjan Sirjani (Reykjavik University, Iceland)
Carolyn Talcott (SRI, USA)
Vasco T. Vasconcelos (University of Lisbon, Portugal)
Gianluigi Zavattaro (University of Bologna, Italy)

Francesco Tiezzi (IMT - Institute for Advanced Studies Lucca, Italy)

The COORDINATION 2013 flyer is available at:

More information about the Types-announce mailing list