From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DA7217FD06 for ; Mon, 14 Dec 2015 11:27:38 +0100 (CET) IronPort-PHdr: 9a23:CBtqEhxt6gDOaUfXCy+O+j09IxM/srCxBDY+r6Qd0e0eIJqq85mqBkHD//Il1AaPBtWFraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrqzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+W+9Zv+jhd8/wg+spMGeWmLuVrBYBfWT8vNmRw4MzwqTHCSxGO7z0SSDYsnwJMEjTCuRP9RZq3qjH9u+x20QGRJov1ULQ5RCqv6eFhRUzGkiACYjw+62yRktZ3gaRQqTqqvFp83orZfZ+YMrx0c/CONegGTHZMC54CHxdKBZmxOtdeAg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jose.proenca@cs.kuleuven.be; spf=SoftFail smtp.mailfrom=jose.proenca@cs.kuleuven.be; spf=None smtp.helo=postmaster@cavuit02.kulnet.kuleuven.be Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jose.proenca@cs.kuleuven.be) identity=pra; client-ip=134.58.240.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.proenca@cs.kuleuven.be"; x-sender="jose.proenca@cs.kuleuven.be"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of jose.proenca@cs.kuleuven.be is inclined to not designate 134.58.240.130 as permitted sender) identity=mailfrom; client-ip=134.58.240.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.proenca@cs.kuleuven.be"; x-sender="jose.proenca@cs.kuleuven.be"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cavuit02.kulnet.kuleuven.be) identity=helo; client-ip=134.58.240.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jose.proenca@cs.kuleuven.be"; x-sender="postmaster@cavuit02.kulnet.kuleuven.be"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B1AABBmW5WnILwOoZehA27fYEjgmcXCoI9g1iBMxABAQEBAQEBARABAQEBAQYNCQkhLoItgnY+fYhWBAmbCpZFiwoBjTOCdASDBQw9BIE2BYdjhgp6iA+FNZwyhVQDgxo4glKGGYFLAQID X-IPAS-Result: A0B1AABBmW5WnILwOoZehA27fYEjgmcXCoI9g1iBMxABAQEBAQEBARABAQEBAQYNCQkhLoItgnY+fYhWBAmbCpZFiwoBjTOCdASDBQw9BIE2BYdjhgp6iA+FNZwyhVQDgxo4glKGGYFLAQID X-IronPort-AV: E=Sophos;i="5.20,426,1444687200"; d="scan'208";a="191937052" Received: from rhcavuit02.kulnet.kuleuven.be (HELO cavuit02.kulnet.kuleuven.be) ([134.58.240.130]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Dec 2015 11:27:38 +0100 X-KULeuven-Envelope-From: jose.proenca@cs.kuleuven.be X-KULeuven-Scanned: Found to be clean X-KULeuven-ID: 731CA128347.A286A X-KULeuven-Information: Katholieke Universiteit Leuven Received: from icts-p-smtps-1.cc.kuleuven.be (icts-p-smtps-1e.kulnet.kuleuven.be [134.58.240.33]) by cavuit02.kulnet.kuleuven.be (Postfix) with ESMTP id 731CA128347 for ; Mon, 14 Dec 2015 11:27:33 +0100 (CET) Received: from p187.glmf.di.uminho.pt (gwlmf.di.uminho.pt [193.136.19.80]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by icts-p-smtps-1.cc.kuleuven.be (Postfix) with ESMTPSA id 4A6D0403B for ; Mon, 14 Dec 2015 11:27:33 +0100 (CET) Content-Type: text/plain; charset="iso-8859-1" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable To: caml-list@inria.fr X-Kuleuven: This mail passed the K.U.Leuven mailcluster From: jose.proenca@cs.kuleuven.be reply-to: jose.proenca@cs.kuleuven.be X-Validation-by: jose.proenca@gmail.com Subject: [Caml-list] 2nd CfP: COORDINATION 2016 Message-Id: <9e928607fe7e637eb61fb39be064b7dbc9a1bae5@generated> [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 coordinat= ion in concurrent, distributed, and complex systems. The key focus of the c= onference is the quest for high-level abstractions that can capture interac= tion patterns and mechanisms occurring at all levels of the software archit= ecture, up to the end-user domain. COORDINATION 2016 seeks high-quality con= tributions on the usage, study, formal analysis, design, and implementation= of languages, models, and techniques for coordination in distributed, conc= urrent, pervasive, and parallel software-intensive computing systems. COORD= INATION 2016 seeks as well to adapt and integrate traditional COORDINATION = techniques in the realm of multi-agent systems (MAS), which typically invol= ve 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 age= nts * 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 c= onference proceedings will be published by Springer in the LNCS Series. Contributions must be written in English and report on original, unpublishe= d work not submitted for publication elsewhere (cf. IFIP's codes of conduct= ). The submissions must not exceed 16 pages in length, including figures an= d references, prepared using Springer's LNCS style. Submissions not adherin= g 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=3Dcoordination2016 POST-PROCEEDINGS PUBLICATION Relevant, high-quality papers will be invited to a special issue of a highl= y 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=E9 Proen=E7a (KU Leuven, Belgium and University of Minho, Portugal) PROGRAMME COMMITTEE Gul Agha (University of Illinois at Urbana Champaign, USA) Lu=EDs 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=E9rieure 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=E1laga, Spain) Dave Clarke (Uppsala University, Sweden) Stephen Cranefield (University of Otago, New Zealand) Ferruccio Damiani (Universit=E0 di Torino, Italy) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Tom Holvoet (KU Leuven, Belgium) Jos=E9 Luiz Fiadeiro (Royal Holloway University of London, UK) Val=E9rie 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=E1n Melgratti (University of Buenos Aires, Argentina) Sun Meng (Peking University, China) Flemming Nielson (Technical University of Denmark, Denmark)=20 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=E4t M=FCnchen, 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=FChn (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=E0 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)