From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id E672C5D5 for ; Fri, 8 Jun 2018 02:30:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,489,1520895600"; d="scan'208";a="330910812" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jun 2018 04:30:21 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0109B82475; Fri, 8 Jun 2018 04:30:20 +0200 (CEST) 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 7CB9B82438 for ; Fri, 8 Jun 2018 04:28:21 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mail-ua0-f228.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A6x/Sox1zU71CGeyasmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0RK/ad9pjvdHbS+e9qxAeQG9mDtrQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYwhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmlT?= =?us-ascii?q?kJOTk6/m/ZisJ9l75XrA69qxBj2YPYfJ2ZOfxjda3dZ9MaQm9BU95eVyNfBYO8?= =?us-ascii?q?YYUPAvEdMuZDtYX9oloOogG7BQmtHu/g1CJHhmLw0KYn3eohFgTG0xYhH9IIqH?= =?us-ascii?q?nbss/6NLwSUO+pzKnH1zTDb+lM1Tf68ojIfQgtof+LXbJqdMre000vGxrfgVWW?= =?us-ascii?q?s4PlOzOU1v8Ms2iA9eZvSeWvi2s/pwFwvDeg2NkjhpPOhoIPxVDJ8zhyzoUtJd?= =?us-ascii?q?CgVkJ3fdqpHIFTuiyaLYd6XN4uTmNytCok1LELuoa3cDUOxZg53RLSZeGLf5KL?= =?us-ascii?q?7x/nTuqdPCl0iXR4c7ylnRmy61KvyujkW8m0zllKqi1Fn8HJtn8X1hzT7tGLSu?= =?us-ascii?q?Zn8Uu9wDqP2R7f5v9HLEwumqrbLJkhwrE0lpUNq0jMAij2mEDugK+XcEUr5PSo?= =?us-ascii?q?5vz5brn6opKQLYx5hwHkPqgwh8CyA/40PhYQU2WY4ei80afs/Uz9QLVElP02la?= =?us-ascii?q?zZvYjVJcsFoa65DQFV350/5BakFTum1dUYkmMCLFJEYh6IkZXmO0zWLPDiEfi/?= =?us-ascii?q?m0iskCtsx/3eIrLuGJDNLnzanLflfLZ98FJcxREozdFf4pJUEqsOLOjyWk/3rt?= =?us-ascii?q?zYDwU2Pxa6w+b9W51B0dZKUmuKBuqdMbjOmV6O/OMmZeeWMtw7ojH4fvco4PDg?= =?us-ascii?q?pXQi31ocdKyom5YbdSPrVs96KlmUNCK/yuwKFn0H61JnHb7azWaaWDsWXE6cGq?= =?us-ascii?q?c15zU1EoWjVNuRTZvrhb2I2Sb9E5FLNDkfVgK8VEzwfoDBYM8iLTqIK5Y9wDcf?= =?us-ascii?q?E72gQoogkxyiqV2ikuc1Hq/v4iQd8Knb+p116unUz09g8DV1C4GA2jnIQTsuzi?= =?us-ascii?q?UHQDg52K05qkt4mA+O?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DSAgB86Rlbh+TZVdFdHQEBBQELAYMZg?= =?us-ascii?q?QyBJ4t8X4wGiQKNSYEiA1MBCiWBUoIvgwwZBwEEMBgBAgEBAQEBAQEBARMBAQE?= =?us-ascii?q?IDQkIGw0jDII1IoJWHyMBASQBAQMHAgYsDzQdCAEFAQ4UChIQAoMHAoF/D54zP?= =?us-ascii?q?IobgwmCbwEBBYFjgwEHHkSBYAgJAQiGBYIsghOBD4JcAoMfCQwLAwEYgR8Eg1S?= =?us-ascii?q?CJIcyARsehW2CUIhUCYVthmWCDIFJgjKBSYIyhTuKBIcYDyGBIGuBCQ4Ick6CQ?= =?us-ascii?q?wmCCxqBAwECgkiFFIU9HVMBjmoCJAeCGgEB?= X-IPAS-Result: =?us-ascii?q?A0DSAgB86Rlbh+TZVdFdHQEBBQELAYMZgQyBJ4t8X4wGiQK?= =?us-ascii?q?NSYEiA1MBCiWBUoIvgwwZBwEEMBgBAgEBAQEBAQEBARMBAQEIDQkIGw0jDII1I?= =?us-ascii?q?oJWHyMBASQBAQMHAgYsDzQdCAEFAQ4UChIQAoMHAoF/D54zPIobgwmCbwEBBYF?= =?us-ascii?q?jgwEHHkSBYAgJAQiGBYIsghOBD4JcAoMfCQwLAwEYgR8Eg1SCJIcyARsehW2CU?= =?us-ascii?q?IhUCYVthmWCDIFJgjKBSYIyhTuKBIcYDyGBIGuBCQ4Ick6CQwmCCxqBAwECgki?= =?us-ascii?q?FFIU9HVMBjmoCJAeCGgEB?= X-IronPort-AV: E=Sophos;i="5.49,489,1520895600"; d="scan'208";a="330910621" Received: from mail-ua0-f228.google.com ([209.85.217.228]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Jun 2018 04:27:57 +0200 Received: by mail-ua0-f228.google.com with SMTP id x18-v6so7893053uaj.9 for ; Thu, 07 Jun 2018 19:27:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=hgaEIAz9pTA2QPgaIuHRFVzMXlIdIKfmjp+23TNCoX0=; b=f0BzjuTsK1cnXNAzS94keaQslpjGHqyXZZhdrkt7A2s2vCpN2l2ST9kK6BZPEpxd6r sBzXsxwn982IayI/iyOsMSoYFQ0Y9W/ZFi3DqRX7n0LfiIkOAV/6pPtZ8VezkhjgyQ5U qpPuqAH/pDBX6qyHWFq33NvgCqoDVP/QdVLXdRis48FMgpmz8i1FL0wpgWWYU0Wll+jB UA/kjo+rrWQU4AR+HMILLDU/xhak95V1zMC9mWNAZXpIYSGxf1LPW7DQx0K9LHwv2DyZ wePH7o3/nQpu2kI/SNhl5OYdbXW+HXNRhltH2bvlR7B57NbKAk7wcAFz5i0nDIcGRsE1 MM6g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=hgaEIAz9pTA2QPgaIuHRFVzMXlIdIKfmjp+23TNCoX0=; b=oTkRyRl+hh1QqWmWhYCI6d3MEMtY7EBWVfRj1Aza1+Z5PPyWq1eBTvfiZz9eKOm9SM JIt1HTbA53jmsk8rwts37HljTRQUBEUtEOYuwN+XjzgkDkFE7XaLcOikhB643CyvwpRT dttNfqQ3Ze/JEQ4pFI1wlx5flcSItaXkzZvU8iVZ70598rq4WDEvMFHOi0/NOuxGVSSB iuEtCQydmvMnv6GYaQcJo/JUCpL1K3eCC1xGuRL293iRBdR0AdFYHcF2ZE7Oo5EbZLnc bcGh4ht5eDFMPPfhaOf++qflkYsRSlMSWuUGem9B82gK3QjR6kyum0nNg2hHB42UxXFP XdiA== X-Gm-Message-State: APt69E3Sn87A2eBYwMdLf7RTPNOLGaV/x1lmKf6biXlArK66aUZ/2j2l lmHCZAnin/bMoWOFKeW5b9+d2KqvqYCgZRLd3H8sJiFhaRkwDg== X-Google-Smtp-Source: ADUXVKJwHKcJSefORcKAklbAFSOnu4tfuarX270UDxTd0H3Dm0I8nJDO2LnVil9X1k61qxePMj/COc4rBcJd X-Received: by 2002:ab0:5c6d:: with SMTP id a45-v6mr2921243uag.105.1528424876152; Thu, 07 Jun 2018 19:27:56 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id z71-v6sm2218533vkd.1.2018.06.07.19.27.55 for ; Thu, 07 Jun 2018 19:27:56 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 415401700E95; Thu, 7 Jun 2018 20:38:32 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20180608003832.415401700E95@cs.miami.edu> Date: Thu, 7 Jun 2018 20:38:32 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 23rd International Conference on Engineering Complex Systems - Call for Papers Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 16933 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ------------------------------------------------------------ CALL FOR PAPERS The 23rd International Conference on Engineering Complex Systems ICECCS 2018 12-14 December 2018 - Melbourne, Australia http://formal-analysis.com/iceccs/2018/ ------------------------------------------------------------ Important Dates (AoE time) Abstract submission: 15th June 2018 Paper submission: 22nd June 2018 Notification of acceptance: 22th August 2018 Camera ready copy due: 21th September 2018 We have seen a rapid rising emphasis on design, implement and manage complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data. Complexity arises from many factors, including the dynamic environments and scenarios these systems operate in; demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability, inoperability and adaptability; as well as the large variation in development methodology, programming languages and implementation details. The key issues in these systems include performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, and long life concerns. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of interest includes long-term research issues; near-term requirements and challenges; established complex systems; emerging promising tools; and retrospective and prospective reflections of research and development into complex systems. Scope and Topics Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: Requirement specification and analysis Verification and validation Security and privacy of complex systems Model-driven development Reverse engineering and refactoring Software architecture Big Data Management Ambient intelligence, pervasive computing Ubiquitous computing, context awareness, sensor networks Design by contract Agile methods Safety-critical & fault-tolerant architectures Adaptive, self-managing and multi-agent systems Real-time, hybrid and embedded systems Systems of systems Cyber-physical systems and Internet of Things (IoT) Tools and tool integration Industrial case studies Applications to SAT/SMT techniques to analysis of complex systems Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Full Papers Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. Short Papers Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by program committee members, and accepted short papers will be published in the conference proceedings. Paper Submissions Submitted manuscripts should be in English and formatted in the style of the double-column CPS format. Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. Please prepare your manuscripts in accordance to the CPS guidelines: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. We invite all prospective authors to submit their manuscripts via the ICECCS'18 portal, hosted on EasyChair https://easychair.org/conferences/?conf=iceccs2018 Conference Proceedings The conference proceedings will be published by Conference Publishing Services (CPS) and submitted for EI indexing. Organization: General Chair: Yuan-Fang Li (Monash University, Australia) Program Chairs: Anthony Lin (Oxford, UK) and Jun Sun (Singapore University of Technology and Design, Singapore) Workshop/Tutorial chair: Marcel Boehme (Monash University, Australia) Local chair: Xin Xia (Monash University, Australia) Web Chair: Hou Zhe and Hadrien Bride (Griffith University) Publicity Chairs: Etienne Andre (University Paris 13, France) and Huibiao Zhu (East China Normal University, China) Steering Committee: Jin Song Dong, Griffith University and NUS, Australia Mike Hinchey, University of Limerick, Ireland Mark Lawford, McMaster University, Canada Xiaohong Li, Tianjin University, China Shaoying Liu, Hosei University, Japan Andrew Martin, University of Oxford, UK Roy Sterritt, University of Ulster, USA Jing Sun, The University of Auckland, New Zealand Program committee: Parosh Aziz Abdulla, Uppsala University, Sweden Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France Etienne Andre, University Paris 13, France Luciano Baresi, Politecnico di Milano, Italy Sergiy Bogomolov, Australian National University, Australia Yu-Fang Chen, National Taiwan University, Taiwan Wei-Ngan Chin, National University of Singapore, Singapore Duc Hiep Chu, Google LLC, United States Sebastien Gerard, CEA LIST, France Felicita Di Giandomenico, Institute ISTI, Italy Matthew Hague, Royal Holloway University of London, United Kingdom Jane Hillston, The University of Edinburgh, United Kingdom Atsushi Igarashi, Kyoto University, Japan Kung-Kiu Lau, University of Manchester, United Kingdom Yuan-Fang Li, Monash University, Australia Yang Liu, Nanyang Technological University, Singapore David Lo, Singapore Management University, Singapore Gerald Luettgen, University of Bamberg, Germany Xiaoxing Ma, Nanjing University, China Tiziana Margaria, Lero, Ireland Dominique Mery, University de Lorraine, France Paolo Nesi, University of Florence, Italy Jun Pang, University of Luxembourg, Luxembourg David Parker, University of Birmingham, United Kingdom Christian Prehofer, Technical University of Munich, Germany Philipp Ruemmer, Uppsala University, Sweden Bernhard Rumpe, RWTH Aachen University, Germany Max Schaefer, Semmle Ltd., United Kingdom Maria Spichkova, RMIT University, Australia Kenji Taguchi, CAV Technologies Co., Ltd., Japan Kenji Tei, National Institute of Informatics, Japan Cong Tian, Xidian University, China Tullio Vardanega, University of Padua, Italy Hai H. Wang, University of Aston, United Kingdom Hironori Washizaki, Waseda University, Japan Zhilin Wu, Chinese Academy of Sciences, China Huibiao Zhu, East China Normal University, China A PDF version of this call for papers is available at: http://formal-analysis.com/iceccs/2018/cfp.pdf Feel free to print and/or share! -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs