[TYPES/announce] CFP: COORDINATION 2013 in Firenze

Francesco Tiezzi francesco.tiezzi at imtlucca.it
Fri Dec 21 11:53:49 EST 2012

[We apologize for multiple copies]

======================= First 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 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 
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 (Universita' di Modena e Reggio Emilia, Italy)
Paolo Ciancarini (Universita' 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 (Universita' di Firenze, Italy)
Nikola Serbedzija (Fraunhofer FOKUS, Germany)
Marjan Sirjani (Reykjavik University, Iceland)
Robert Tolksdorf (Freie Universitat Berlin, Germany)
Emilio Tuosto (University of Leicester, UK)
Vasco T. Vasconcelos (University of Lisbon, Portugal)
Mirko Viroli (Universita' 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