[TYPES/announce] CFP: COORDINATION 2016

[Alberto Lluch Lafuente]

COORDINATION 2016

18th IFIP International Conference on Coordination Models and Languages
A DisCoTec Member Conference

http://coordination2016.discotec.org/

June 6-8, 2016, Heraklion, Greece


IMPORTANT DATES

Abstract Submission: February 1, 2016
Paper Submission: February 8, 2016
Author Notification: March 21, 2016
Camera ready copy: April 4, 2016
Early registration: May 9, 2016
Conference: June 6-8, 2016

The time of all deadlines is 24:00 AoE (UTC-12).


SCOPE

COORDINATION 2016 is the premier forum for publishing research results and
experience reports on software technologies for collaboration and
coordination in concurrent, distributed, and complex systems. The key focus
of the conference is the quest for high-level abstractions that can capture
interaction patterns and mechanisms occurring at all levels of the software
architecture, up to the end-user domain. COORDINATION 2016 seeks
high-quality contributions on the usage, study, formal analysis, design,
and implementation of languages, models, and techniques for coordination in
distributed, concurrent, pervasive, and parallel software-intensive
computing systems. COORDINATION 2016 seeks as well to adapt and integrate
traditional COORDINATION techniques in the realm of multi-agent systems
(MAS), which typically involve more coarse-grained (cognitive, intelligent,
goal-oriented) components.

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

* Models and paradigms
* Programming abstractions and languages
* Foundations, types and semantics
* Specification and verification
* Middlewares and architectures
* Distributed, mobile and networked computing
* Parallel and high-performance computing
* Nature- and bio-inspired approaches
* Self-adaptation, self-organisation and autonomic computing
* Collective systems, ensembles, federations, and systems-of-systems
* Teamwork, distributed problem solving and collective intelligence
* Multiagent systems, auction, negotiation, argumentation, and rational
agents
* Trust, policies, reputation and security
* Applications and case studies


SUBMISSION AND PUBLICATION

We solicit papers describing thorough and complete research results and/or
experience reports on applications and cases studies of coordination. The
conference proceedings will be published by Springer in the LNCS Series.

Contributions must be written in English and report on original,
unpublished work not submitted for publication elsewhere (cf. IFIP's codes
of conduct). The submissions must not exceed 16 pages in length, 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:
  https://easychair.org/conferences/?conf=coordination2016


POST-PROCEEDINGS PUBLICATION

Relevant, high-quality papers will be invited to a special issue of a
highly reputed journal. Previous special issues are under preparation
within the journal on Logical Methods in Computer Science (
http://www.lmcs-online.org/).


INVITED SPEAKER

Vijay Saraswat (IBM T.J. Watson Research Lab, USA)


PC CHAIRS

Alberto Lluch Lafuente (Technical University of Denmark, Denmark)
José Proença (KU Leuven, Belgium and University of Minho, Portugal)


PROGRAMME COMMITTEE

Gul Agha (University of Illinois at Urbana Champaign, USA)
Luís Barbosa (University of Minho, Portugal)
Jacob Beal (Raytheon BBN Technologies, USA)
Simon Bliudze (EPFL, Switzerland)
Frank de Boer (CW and Leiden University, The Netherlands)
Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne,
France)
Einar Broch Johnsen (University of Oslo, Norway)
Roberto Bruni (University of Pisa, Italy)
Tevfik Bultan (University of California, Santa Barbara, USA)
Carlos Canal (University of Málaga, Spain)
Dave Clarke (Uppsala University, Sweden)
Stephen Cranefield (University of Otago, New Zealand)
Ferruccio Damiani (Università di Torino, Italy)
Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy)
Tom Holvoet (KU Leuven, Belgium)
José Luiz Fiadeiro (Royal Holloway University of London, UK)
Valérie Issarny (Inria, France)
Rania Khalaf (IBM T.J. Watson Research Center, USA)
Ramtin Khosravi (University of Tehran, Iran)
Natallia Kokash (Leiden University, the Netherlands)
Mieke Massink (CNR-ISTI, Italy)
Hernán Melgratti (University of Buenos Aires, Argentina)
Sun Meng (Peking University, China)
Flemming Nielson (Technical University of Denmark, Denmark)
Munindar Singh (North Carolina State University, USA)
Marjan Sirjani (Reykjavik University, Iceland)
Carolyn Talcott (SRI International, California, USA)
Emilio Tuosto (University of Leicester, UK)
Vasco T. Vasconcelos (University of Lisbon, Portugal)
Mirko Viroli (University of Bologna, Italy)
Takuo Watanabe (Tokyo Institute of Technology, Japan)
Martin Wirsing (Ludwig-Maximilians-Universität München, Germany)


STEERING COMMITTEE

Gul Agha (University of Illinois at Urbana Champaign, USA)
Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair)
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)
Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium)
Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy)
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)
Mirko Viroli (University of Bologna, Italy)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151014/130fae2d/attachment-0001.html>