[TYPES/announce] Final CfP: COORDINATION 2016

jose.proenca at cs.kuleuven.be jose.proenca at cs.kuleuven.be
Wed Jan 20 14:10:28 EST 2016


[We apologize for multiple copies]


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 Lecture Notes in Computer Science series (http://ww.springer.com/lncs).

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. The inclusion of appendices that go beyond the limit of 16 pages is allowed. The appendices should be meant to ease the task of the reviewers but the paper should be readable without them. 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)


More information about the Types-announce mailing list