From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2D90B7F616 for ; Wed, 22 Feb 2017 18:23:31 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jose.proenca@gmail.com; spf=Pass smtp.mailfrom=jose.proenca@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jose.proenca@gmail.com) identity=pra; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jose.proenca@gmail.com"; x-sender="jose.proenca@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jose.proenca@gmail.com designates 74.125.82.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jose.proenca@gmail.com"; x-sender="jose.proenca@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jose.proenca@gmail.com"; x-sender="postmaster@mail-wm0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ar3WilBX8TcuW1NfPitSTF220sT7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBKPt8tkgFKBZ4jH8fUM07OQ6PG9HzVeqsfR+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe71/IRG2oAnLq8UbgIRuJ6IyxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipcCY2+?= =?us-ascii?q?coQPFfIMM+VWoYbhqFQAogWwCwmxCu701j9In2X70bEm3+g9DA3L2hErEdIUsH?= =?us-ascii?q?TTqdX4LKMcUeeuzKbW0D7NdelW2TDj54jObh8uu+yHULVyccrW0kkgCRnJjk2K?= =?us-ascii?q?qYziITyV0PgCvHKA4upvUOKgkW8nqwVrrjezwccsj5DEi4QIwV7K8iV5xZw6Jd?= =?us-ascii?q?y+SENjet6kCIFQtyCcN4t5XMwiWXtktzo9yr0DoZK0YjIFyI8nxhHDa/yIaYmI?= =?us-ascii?q?4gj5WOaWOzd4i2ppeK+6hxaz90igyur8WtOs0FZWqCdOj9rCtmgV2hHR5cWLUO?= =?us-ascii?q?Zx8lmh1DqV1A3f9PtILEApmabDL5MszaQ8m5sOvUjZACP7l0r7gLWLekk5+eWl?= =?us-ascii?q?7fnsbK/8qZ+GLYB0jxnzMqQwlcy7BuQ1Kg0OUHKa+eS4zbHi80j5TKlTgv04kq?= =?us-ascii?q?TVrYrWJcscpq6+DA9V1pgs5wyjADeh1dQUhXgHLFRbdxKbl4XkOV7DLOrlAfuh?= =?us-ascii?q?g1mgijRmy+7cMrDhH5nBNn3Dn63gfbZ55U5c0g0zzdVH6pJWDbEBO+z8VlXptN?= =?us-ascii?q?zCCR82LQq0zPr9B9hm2YMeXHiAAq6dMK/IrVCI4ecvL/GWZIAJoDb9N+Ql5/n2?= =?us-ascii?q?gHAlg1AdeK2p0YITaHC5BfRmP16UYWHsg9cECWcFpBAyTO3siF2YUD5cfWy+X6?= =?us-ascii?q?wm5mJzNIXzBo7GQsWpgaed9Ca9BJxfIG5cWX6WFnK9VYKfVr80ciWfJMRo2mgG?= =?us-ascii?q?UqOsDZc70hyovwbSxL9uL+6S8Sod48GwnONp7vHewElhvQd/CN6QhiTUFzl5?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AeAgDgx61YhjNSfUpeHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn2BCoEJjlWZYoQDhiiEHCqCQoM2gwdDFAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgLCwodL4IzIgGCPiMBGwwRAQMSbhEBBQEwGQeHbQOBUQEDFQQKojo/jgcFA?= =?us-ascii?q?RyDCQWDaQoZJw1VgyIBAQEBAQEBAQIBAQEBAQEBARgCBgkBCIY6hiuBOiGBGQS?= =?us-ascii?q?CbAxYgjUFiQAShns+inhNggKEcoMiighThEmDH4ZaiCUQgi+FOYFBMoEVNoEhI?= =?us-ascii?q?RQfhQ8cBCWBaVQBh1aCPQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AeAgDgx61YhjNSfUpeHAEBBAEBCgEBFwEBBAEBCgEBgn2?= =?us-ascii?q?BCoEJjlWZYoQDhiiEHCqCQoM2gwdDFAEBAQEBAQEBAQEBEgEBAQgLCwodL4IzI?= =?us-ascii?q?gGCPiMBGwwRAQMSbhEBBQEwGQeHbQOBUQEDFQQKojo/jgcFARyDCQWDaQoZJw1?= =?us-ascii?q?VgyIBAQEBAQEBAQIBAQEBAQEBARgCBgkBCIY6hiuBOiGBGQSCbAxYgjUFiQASh?= =?us-ascii?q?ns+inhNggKEcoMiighThEmDH4ZaiCUQgi+FOYFBMoEVNoEhIRQfhQ8cBCWBaVQ?= =?us-ascii?q?Bh1aCPQEBAQ?= X-IronPort-AV: E=Sophos;i="5.35,195,1484002800"; d="scan'208";a="214385495" Received: from mail-wm0-f51.google.com ([74.125.82.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Feb 2017 18:23:30 +0100 Received: by mail-wm0-f51.google.com with SMTP id v77so4787182wmv.1 for ; Wed, 22 Feb 2017 09:23:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:date:mime-version:content-transfer-encoding:to:from :subject:cc; bh=MKvS/SrMQoWQ3MYkI19/nvCY9oQz7FL9PHX51O+ygZs=; b=Q6Nbg9ufnH3wREyWHU8Y7hK7wI0RXnU/n3Eo+HhKv/jSTcFYNGbtnISRb9R/Sh+e5o vxux3fPz9VCtTSM6gFkTiU+rtG5KnZWE3G3SBAtTKjgnaepucpKO631YgVZOvNdynsX2 qdv4go4IvpOeIYvos4P/1NpD8J5wWGxg00jyX9ZJ0OZ5fAFHugOPBVJ8/+wyLVm2yLjR 3ixO26YrI+IH+lINakJg6PQUj2fQ/dbyWfTtnetwup3yDL9lJtTOSPzggStWOKICvx83 PO+mbR+DcvKkiuwHLyTOMznxFapGmmE9kKIyv6/Mg9T2nXv+M7j5W6XcptQbKbHiLiKc MHPA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:date:mime-version :content-transfer-encoding:to:from:subject:cc; bh=MKvS/SrMQoWQ3MYkI19/nvCY9oQz7FL9PHX51O+ygZs=; b=KCbAko04YaQgduOxDiViilltEDa0/sq02FtD7o+VH5/IbhQ5/qJX9k8IH76Q7EJmtE 0WBruxV0ZldW7wJPOdNaj7kHQ87kiaHoorZhVXNL3jz37n+/r6LkGjSo9eSXcirJSVkZ B41R05TdL1MnvYURVXotNYdmewa3NEeFQJKFEX1Xq7q3p+fazKr8KfolJxElpSN31Uu1 CgkrqG2j3KC8bsCJNHbKxfPswctOf2DUiVdUBrCTB/8wcQ1AOZ7aIlnUkd4cWAoHcj1F rku8OLTixopXRqNrAWQHZ8Q5E/Ez51U/cOHvAaMWLmY2keCIgd27/BbRXP9BB1xW8tTj uw/Q== X-Gm-Message-State: AMke39mLhpTcwhwViAnZmPhQM6l3dPfJb5dRl0g68pQg5M0aA3UuimtQepnoeIIpW1BIig== X-Received: by 10.28.12.68 with SMTP id 65mr3417276wmm.100.1487784209516; Wed, 22 Feb 2017 09:23:29 -0800 (PST) Received: from joses-mbp.lan (118.244.61.94.rev.vodafone.pt. [94.61.244.118]) by smtp.gmail.com with ESMTPSA id m29sm2513163wrm.38.2017.02.22.09.23.28 for (version=TLS1 cipher=AES128-SHA bits=128/128); Wed, 22 Feb 2017 09:23:28 -0800 (PST) Message-ID: <58adc910.9da0df0a.5cf8b.e1ac@mx.google.com> Date: Wed, 22 Feb 2017 09:23:28 -0800 (PST) Content-Type: text/plain; charset="iso-8859-1" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable To: caml-list@inria.fr From: Jose Proenca CC: Markus Lumpe X-Validation-by: jose.proenca@gmail.com Subject: [Caml-list] CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software --------------------------------------------------------------------- First Call for Papers FACS'17 14th International Conference on Formal Aspects of Component Software Braga, Portugal, October 10-13, 2017 http://facs2017.di.uminho.pt --------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: May 19, 2017 Paper submission deadline: May 26, 2017 Notification: July 17, 2017 Final version due: July 31, 2017 Doctoral Track submission deadline: July 25, 2017 Doctoral Track notification: August 2, 2017 SCOPE The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues rem= ain in component-based software development theory and practice that pose challenging research questions. Moreover, the advent of cloud computing, cyber-physical systems, and of the Internet of Things has brought to the fo= re new dimensions. This include quality of service, reconfiguration and robust= ness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures. FACS 2017 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematics-based techniques for the specification, development, and verification of software and hardware systems. They have been shown to prov= ide a strong foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition = and adaptation, and rigorous approaches to verification, deployment, testing, a= nd certification. The objective of FACS 2017 is to bring together researchers and practitione= rs in the areas of component software and formal methods in order to promote a deeper understanding of the component-based software development paradigm a= nd its applications. TOPICS The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal methods and modeling languages for components and services - formal aspects of services, service oriented architectures, SaaS, cloud computing, and business processes - model-based and GUI-based design, implementation, and test of components= =20 and services - composition and deployment: models, calculi, languages - component/service re-engineering and reuse - models for QoS and other extra-functional properties (e.g., trust,=20 compliance, security) of components and services - formal models for component-based systems with variability - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components & self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive=20 systems - industrial or experience reports, and case studies in component software - automated and tool-based approaches to facilitate the use of formal metho= ds=20 for components and services - modelling and verification of real-time, probabilistic, and/or hybrid=20 component-based systems - components for real-time, safety-critical, secure, and/or embedded systems - components as enabling technology for the Internet of things and=20 cyber-physical systems SUBMISSIONS We solicit high-quality submissions reporting on: A - original research contributions (18 pages max); B - applications and experiences (18 pages max); C - surveys, comparisons, and state-of-the-art reports (18 pages max); D - tool papers (6 pages max); Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. For further information please visit http://www.springer.com/ln= cs. Please use the easychair link below to submit your paper: https://easychair.org/conferences/?conf=3Dfacs2017 Doctoral Track: In addition, we solicit submissions to the Doctoral Track of FACS 2017, in = the form of abstracts (3 pages max) concisely capturing work in progress, relat= ed topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Publication: All accepted papers will appear in the categories A-D above will appear in = the proceedings of the conference that will be published as a volume in the Springer's Lecture Notes in Computer Science series. A special issue of the Science of Computer Programming journal is planned for extended versions of selected papers from FACS 2017. PROGRAM CHAIRS Markus Lumpe, Swinburne University of Technology, Australia Jose Proenca, INESC TEC & University of Minho, Portugal STEERING COMMITTEE Farhad Arbab, CWI & Leiden University, The Netherlands Luis Barbosa, INESC TEC & University of Minho, Portugal Christiano Braga, Universidade Federal Fluminense, Brazil Carlos Canal, University of Malaga, Spain Jose Luiz Fiadeiro, Royal Holloway, University of London, UK Ramtin Khosravi, University of Tehran, Iran Olga Kouchnarenko, University of Burgundy-Franche-Comte, France Zhiming Liu, Birmingham City University, UK Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, Inria, France Peter Olveczky University of Oslo, Norway Bernhard Schatz, TU Munchen, Germany PROGRAM COMMITTEE Paolo Arcaini, Charles University, Czech Republic Kyungmin Bae, Carnegie Mellon University, USA Luiis Barbosa, INESC TEC & University of Minho, Portugal Christiano Braga, Universidade Federal Fluminense, Brazil Roberto Bruni, University of Pisa, Italy Carlos Canal, University of Malaga, Spain Dave Clarke, Uppsala University, Sweden Javier Camara Moreno, Carnegie Mellon University, USA Frank de Boer, CWI & Leiden University, the Netherlands Arbab Farhad, CWI & Leiden University, the Netherlands Jose-Luiz Fiadeiro, University of London, UK Rolf Hennicker, Ludwig-Maximilians-Universitat of Munich, Germany Einar Broch Johnsen, University of Oslo, Norway Sung-Shik T.Q. Jongmans, Open University of the Netherlands & Radboud University Nijmegen, the Netherlands Jose Proenca, INESC TEC & University of Minho, Portugal Natallia Kokash, LIACS, the Netherlands Olga Kouchnarenko, Inria/Cassis & University of Franche-Comte, France Ivan Lanese, University of Bologna & INRIA, Italy & France Zhiming Liu, Southwest University, China Alberto Lluch Lafuente, Technical University of Denmark, Denmark Eric Madelaine, INRIA, France Lumpe Markus, Swinburne University of Technology, Australia Mieke Massink, CNR-ISTI, Italy Hernan Melgratti, Universidad de Buenos Aires, Argentina Corina Pasareanu, CMU/NASA Ames Research Center, USA Eric Rutten, INRIA, France Gwen Salaun, Grenoble INP - INRIA - LIG, France Francesco Santini, Universita di Perugia, Italy Marjan Sirjani, Reykjavik University, Iceland Meng Sun, Peking University, China Heike Wehrheim, University of Paderborn, Germany Peter Olveczky, University of Oslo, Norway More information: http://facs2017.di.uminho.pt