From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8722 Path: news.gmane.org!not-for-mail From: jose.proenca@cs.kuleuven.be Newsgroups: gmane.science.mathematics.categories,gmane.spam.detected Subject: CfP: COORDINATION 2016 Date: Thu, 22 Oct 2015 06:26:52 -0300 (ADT) Message-ID: Reply-To: jose.proenca@cs.kuleuven.be NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1445521356 12589 80.91.229.3 (22 Oct 2015 13:42:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 22 Oct 2015 13:42:36 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Oct 22 15:42:26 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZpG8G-0005Q4-Cd for gsmc-categories@m.gmane.org; Thu, 22 Oct 2015 15:42:16 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:60019) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ZpG6q-000549-Jh; Thu, 22 Oct 2015 10:40:48 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ZpG6q-00077p-RN for categories-list@mlist.mta.ca; Thu, 22 Oct 2015 10:40:48 -0300 Precedence: bulk X-Spam-Report: 5.7 points; * 1.4 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date * 2.5 LOCALPART_IN_SUBJECT Local part of To: address appears in Subject * 1.8 MIME_QP_LONG_LINE RAW: Quoted-printable line longer than 76 chars Xref: news.gmane.org gmane.science.mathematics.categories:8722 gmane.spam.detected:5307117 Archived-At: 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) = 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]