[TYPES/announce] COORDINATION 2017 - 1st Announcement

Francesco Tiezzi francesco.tiezzi at unicam.it
Wed Dec 7 05:47:28 EST 2016


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


                          COORDINATION 2017
   19th International Conference on Coordination Models and Languages

                       Neuchatel, Switzerland,
                            June 19-21 2017

                      http://2017.discotec.org

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

                            Publications

       * Publication  of  the  proceedings  in the  Lecture  Notes  of
         Computer Science of Springer-Verlag
       * Publication  of   extended  versions  of  selected   work  is
         planned  in  a  special  issue of  an  international  journal
         as in previous issues of COORDINATION


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


                           IMPORTANT DATES

         * Submission of abstract:           February  3, 2017
         * Submission of papers:             February 10, 2017
         * Notification of acceptance:       April 10, 2017
         * Final version:                    April 24, 2017
         * Conference:                       June 19-21, 2017

                           CONFERENCE GOALS

Modern information systems rely  increasingly on combining concurrent,
distributed,   mobile,  adaptive,   reconfigurable  and   heterogenous
components.  New  models,  architectures, languages  and  verification
techniques are  necessary to cope  with the complexity induced  by the
demands of  today's software development. Coordination  languages have
emerged as  a successful approach,  in that they  provide abstractions
that   cleanly  separate   behaviour  from   communication,  therefore
increasing modularity, simplifying reasoning, and ultimately enhancing
software development.

Building  on the  success of  the previous  editions, this  conference
provides  a  well-established  forum  for  the  growing  community  of
researchers  interested  in   models,  languages,  architectures,  and
implementation techniques for coordination.

Topics   of   interest   encompass    all   areas   of   coordination,
including (but not limited to) coordination related aspects of:

* Theoretical  models  and  foundations  for  coordination:  component
  composition,   concurrency,    mobility,   dynamic,    spatial   and
  probabilistic  aspects of  coordination, emergent  behaviour, types,
  semantics;
* Specification, refinement,  and analysis of  architectures: patterns
  and   styles,   verification   of  functional   and   non-functional
  properties, including performance aspects;
* Coordination,  architectural,  and interface  definition  languages:
  implementation, interoperability, heterogeneity;
* Middlewares and coordination;
* Dynamic   software    architectures:   distributed    mobile   code,
  configuration,   reconfiguration,  networked   computing,  parallel,
  high-performance and cloud computing;
* Nature- and bio-inspired approaches to coordination;
* Coordination   of  multiagent   and   collective  systems:   models,
  languages,   infrastructures,  self-adaptation,   self-organisation,
  distributed solving, collective intelligence and emerging behaviour;
* Coordination  and   modern  distributed  computing:   Web  services,
  peer-to-peer networks, grid computing, context-awareness, ubiquitous
  computing, mobile computing;
* Programming languages,  middleware, tools, and environments  for the
  development of coordinated applications;
* Programming   methodologies   and    verification   of   coordinated
  applications;
* Industrial  relevance of  coordination  and software  architectures:
  programming in the large, domain-specific software architectures and
  coordination models, case studies;
* Interdisciplinary aspects of coordination.




                             PROCEEDINGS

The  conference proceedings  will  be published  by  Springer, in  the
Lecture Notes in Computer Science (LNCS) series.

Extended versions of  a selection of the best papers  is planned to be
published  in  a special  issue  of  an  international journal  as  in
previous issues of COORDINATION.



                       SUBMISSION INSTRUCTIONS

Authors are invited to submit full papers electronically in PostScript
or PDF  using a two-phase  online submission process.  Registration of
the paper information and abstract  (max. 250 words) must be completed
before February 3, 2017. Submission of  the full paper is due no later
than February 10, 2017. Submissions  are handled through the EasyChair
conference management system, accessible from the conference web site:
http://2017.discotec.org .

Contributions  must be  written  in English  and  report on  original,
unpublished work  not submitted for publication  elsewhere (cf. IFIP’s
Author    Code   of    Conduct,    see   http://www.ifip.org/    under
Publications/Links).  The  submissions must not exceed  the total page
number limit  (see below), including figures  and references, prepared
using Springer’s  LNCS style.  Submissions  not adhering to  the above
specified constraints may be rejected without review. Papers should be
submitted as PDF or PS via EasyChair.

We solicit two kinds of submissions:

* Full  papers (up  to  16  pages +  2  pages references):  describing
  thorough and complete research results and experience reports.

* Short  papers  (up to  8  pages  +  1 page  references):  describing
  research in progress  or opinion papers on the  past of Coordination
  research, on the  current state of the art, or  on prospects for the
  years to come.

The  conference proceedings,  formed by  accepted submissions  of both
kinds above, will be published by Springer in the LNCS Series.

Extended versions of a selection of the best full papers is planned to
be published  in a  special issue  of an  international journal  as in
previous issues of COORDINATION.


                              PROGRAM COMMITTEE

                              Co-Chairs

Jean-Marie Jacquet       University of Namur, Belgium
                         Jean-Marie.Jacquet at unamur.be
                         staff.info.unamur.be/jmj

Mieke Massink            CNR-ISTI, Italy
                         Mieke.Massink at isti.cnr.it
                         www.isti.cnr.it/People/M.Massink


                              Members

Gul Agha                 University of Illinois at Urbana-Champaign, USA
Farhad Arbab             CWI and Leiden University, The Netherlands
Jacob Beal               Raytheon BBN Technologies, USA
Simon Bliudze            EPFL, Switzerland
Frank de Boer            CWI and Leiden University, The Netherlands
Antonio Brogi            University of Pisa, Italy
Roberto Bruni            University of Pisa, Italy
Vincenzo Ciancia         CNR-ISTI, Italy
Dave Clarke              Uppsala University, Sweden
Ferruccio Damiani        Università di Torino, Italy
Wolfgang De Meuter       Vrije Universiteit Brussel, Belgium
Rocco De Nicola          IMT - Institute for Advanced Studies, Italy
Erik de Vink             Eindhoven University of Technology, The Netherlands
Schahram Dustdar         TU Wien, Austria
José Luiz Fiadeiro       Royal Holloway University of London, United Kingdom
Stephen Gilmore          University of Edinburgh, United Kingdom
Paola Inverardi          University of l'Aquila, Italy
Ramtin Khosravi          University of Tehran, Iran
Eva Kuhn                 Vienna University of Technology, Austria
Alberto Lluch Lafuente   Technical University of Denmark, Denmark
Michele Loreti           University of Florence, Italy
Hernan Melgratti         University of Buenos Aires, Argentina
Andrea Omicini           University of Bologna, Italy
Ernesto Pimentel         University of Malaga, Spain
Gwen Salaun              University of Grenoble Alpes, France
Marjan Sirjani           Reykjavik University, Iceland
Vasco T. Vasconcelos     University of Lisbon, Portugal
Carolyn Talcott          SRI International, USA
Emilio Tuosto            University of Leicester, UK
Mirko Viroli             University of Bologna, Italy
Takuo Watanabe           Tokyo Institute of Technology, Japan
Danny Weyns              Katholieke Universiteit Leuven, Belgium
Martin Wirsing           Ludwig-Maximilians-Universität München, Germany


                              PUBLICITY CHAIR

Francesco Tiezzi         University of Camerino, Italy



                              STEERING COMMITTEE

Gul Agha                University of Illinois at Urbana Champaign, USA
Farhad Arbab            CWI and Leiden University, The Netherlands
Dave Clarke             Uppsala University, Sweden
Tom Holvoet             KU Leuven, Belgium
Jean-Marie Jacquet      University of Namur, Belgium
Christine Julien        The University of Texas at Austin, USA
Eva Kühn                Vienna University of Technology, Austria
Alberto Lluch Lafuente  Technical University of Denmark, Denmark
Wolfgang De Meuter      Vrije Universiteit Brussels, Belgium
Rocco De Nicola         IMT - Institute for Advanced Studies Lucca, Italy
Jose Proenca            University of Minho, Portugal
Rosario Pugliese        Università di Firenze, Italy
Marjan Sirjani          Reykjavik University, Iceland
Carolyn Talcott         SRI International, California, USA
Vasco T. Vasconcelos    University of Lisbon, Portugal
Gianluigi Zavattaro     University of Bologna, Italy (Chair)
Mirko Viroli            University of Bologna, Italy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161207/96a2a653/attachment-0001.html>


More information about the Types-announce mailing list