[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