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 3E2235D5 for ; Fri, 24 May 2019 14:18:46 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,507,1549926000"; d="scan'208";a="384620419" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 May 2019 16:18:42 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0847D826E9; Fri, 24 May 2019 16:18:42 +0200 (CEST) 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 41E878247D for ; Fri, 24 May 2019 16:17:20 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lpulina@uniss.it; spf=Pass smtp.mailfrom=lpulina@uniss.it; spf=None smtp.helo=postmaster@mail-wr1-f46.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ASGwguhYZV3bBCSYdKir9cuf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMS9bnLW6fgltlLVR4KTs6sC17OP9fm5Bydfvd6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMRm6txjdutQXjIdtKKs8xQbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDM/7WrZiNF/jLhDrRyhuRJx3o3abo+bO/VxYqzTcsgXRXZYXstLSyBNHo2x?= =?us-ascii?q?YokJAuEcPehYtY79p14WoBW4GAmjGPngwSJSiH/r2a060uIhHhvb1wEnG9IOqG?= =?us-ascii?q?nUrNH0NKcUS++417TIzTPCb/NNwjfx8onIcgw4rPyKQLl+f83RyUw1GAPEiFWd?= =?us-ascii?q?sZLqMCmO1uUNr2eb7/BvVeO1i2I9rAFxuDevyt8whYnRnYIV0UzL9SV+wIYyId?= =?us-ascii?q?20UlB0YcOiHZBNtC+aL5N7Tt0+T2xsoio3yb0LtYSlcCQU1Zgr3RHSZv2ff4SV?= =?us-ascii?q?5h/uWvydLSlkiH9qYr6zmQq+/Va6xuHhWMS4zFBHpTdfnNbWrHACzRnT59CHSv?= =?us-ascii?q?Rj+keh3i6C1wXJ5eFFJUA4jKTaK4Q8zrIpmJoevkXOEjX5mEXxi6+WeUEk9fay?= =?us-ascii?q?5+v7ZbXmo4eQN45yig7gLqQjgtKzDfg8PwQUXGWW+f6w2KP98UHkWrlHgfw7nr?= =?us-ascii?q?HcsJ/AJMQboqC5AxVS0oYm8xu/Cy+m0MkcnXkGKlJKYgmKj5XvO1HPO/D4Fu2z?= =?us-ascii?q?g1WwkDtz3fDJIqXhAonRLnjEiLruYaxy60tYyAYqydBf5olUCq0aLfLoWk7xsc?= =?us-ascii?q?TYAQUjPwy1xebnEtR92ZkEVWKBGK/KeJ/V5FSB4+ZqJ+iXeKcUviz8Ir4r/a3A?= =?us-ascii?q?l3g8zHsAdqDh5YYTaXaxVqBiO1idYHzlqsoHEHwR+AsiGr+5wGaeWCJeMi7hF5?= =?us-ascii?q?k34Ss2Xdr/XNXzA7u1ibnE5x+VW5hfZ2RIEFeJSC+6aoOFQOxKaT7Ae5Y9wAxB?= =?us-ascii?q?bqCoTsoa7T/rrBXzkuI1M+zV4TZetI6xjIEotd2Wrgk78HlPN+rY02yJSDspzG?= =?us-ascii?q?YBRjtzw7om5EIhlBGM1q93h/EeHttWtatE?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AYLQA8/Odcfy7dVdFlGgEBAQEBGQYCA?= =?us-ascii?q?QEBAQMBAQEBgU6BKAIBAQEBATGBGIEshBOTC4FggSuCYJYeA1QJAQMBCgEBIwo?= =?us-ascii?q?CAQGHARsHAQQ0EwEDAQEEAQECAQEDARMBAQkLCwgnJQyCOiKDEgYVCAEBJgMPN?= =?us-ascii?q?AImAjYBBQEvCAEBEIMOAYIKBAuaAzyKL3GBL4J5AQEFgkeDKYE9CQkBCHomAgE?= =?us-ascii?q?BAQEBAQGLTBeBQD+BESeBSTY3BQKDTQQYghSCPYJYi0WdBgmBSEcDhjCMWQYbj?= =?us-ascii?q?EmJeIN/j2mObQIEAgQFAgYPIYFFgXgzGggwgycJhXaBAYQThUE9MwGBBIp1K4I?= =?us-ascii?q?lAQE?= X-IPAS-Result: =?us-ascii?q?A0AYLQA8/Odcfy7dVdFlGgEBAQEBGQYCAQEBAQMBAQEBgU6?= =?us-ascii?q?BKAIBAQEBATGBGIEshBOTC4FggSuCYJYeA1QJAQMBCgEBIwoCAQGHARsHAQQ0E?= =?us-ascii?q?wEDAQEEAQECAQEDARMBAQkLCwgnJQyCOiKDEgYVCAEBJgMPNAImAjYBBQEvCAE?= =?us-ascii?q?BEIMOAYIKBAuaAzyKL3GBL4J5AQEFgkeDKYE9CQkBCHomAgEBAQEBAQGLTBeBQ?= =?us-ascii?q?D+BESeBSTY3BQKDTQQYghSCPYJYi0WdBgmBSEcDhjCMWQYbjEmJeIN/j2mObQI?= =?us-ascii?q?EAgQFAgYPIYFFgXgzGggwgycJhXaBAYQThUE9MwGBBIp1K4IlAQE?= X-IronPort-AV: E=Sophos;i="5.60,507,1549926000"; d="scan'208";a="307130110" X-MGA-submission: =?us-ascii?q?MDF5jMxv7wMjYW18ZDe6eBS27NYfQgHzUtdQ3w?= =?us-ascii?q?sca2WUrDHWGIH+I4eb4RNxaysgjS7mTx9dNr7e3M/wiXCvu4abUx6s5j?= =?us-ascii?q?kOwgYd3BgNBOhCtY2rCEN9YyIMGjWXIJAsb0qslrLRd5zh5f44esJG9A?= =?us-ascii?q?bBw24Pm5m7f6Ox8SJzdmSLvw=3D=3D?= Received: from mail-wr1-f46.google.com ([209.85.221.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 May 2019 16:17:19 +0200 Received: by mail-wr1-f46.google.com with SMTP id l2so10212226wrb.9 for ; Fri, 24 May 2019 07:17:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniss-it.20150623.gappssmtp.com; s=20150623; h=from:to:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=pI+db8m+EsxiwLNAU0TfsN+d329gWOI1Au7G2tUZxcM=; b=C96QtkhYpIjxnsYXbOjkS+i1U0dwaf0xlTcJ/AxFyJ4XIvmzGKz9e0A2kCXljA9rnC fXD81NzM6tgSHxGz2yjW+8IeyCvpjNtR2PXn0jNvBhV/J3U5NcVh2UT9yOCH6qwkrpfM 9M7ByxOxQAT9RcCc+CcqVMM7wqOUOKfjA5P2hOIEC/QZVHurXMHjWj9PcmrZ+Yg0P/a2 AI7dKPqt/8z7jSAJFYXI3gJhKmWDLGuestp94Ux3g5j5xCLMr1F3yCtJWtM5lbko3QO8 BbX/NFGlclusWNLNdv2dzo/ldmk1HMvK4Vi2xID1GF9W/Smnh81yVEZwg0dzxtrdXZ55 bsmQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=pI+db8m+EsxiwLNAU0TfsN+d329gWOI1Au7G2tUZxcM=; b=ngTNHZjyIwc2sSxAWCbCdtJTYhH1qPFZlgbRgISHZBM4vLZ8BSOhKtMTdwJxd79e6X sjJAQacdj0aGuDboO/KjK/wyK0yFhRYwHfQSMY5qHz08x+2fn6oWP5b28//ruIPOpLHE uo1yl9GVIhVn4Y/aakEEqU/TVP9IxTuIOu8488T5lHBw9eRDKMCiO/PaRGiVRt4forAj 3FpaGBRrsQmPC1ZS/YyalxsAAP7wgmqosRKdZ/08ycEYicxJXhEBDGT6P/wJ0B+CvRmA JXqC/mZc/qO3nCWKXVsdD+izJQ3PzCn8EwY2KMSnPEKyfDaQFXtHwRll5/msbNxvNoky snOg== X-Gm-Message-State: APjAAAUTlb8NFGaa8h7RYwxV4nO3ULhOZN2Xejvzm960Hi7L8l3VE/K2 GihWxx0n1BeW1nDKQ6jJgOgikHt4XCLjxdwwXKIPFdrCl+w3DMKOWeCParnKUXZ6oVOvPxBVggt K0BqeAu+tLHQ7 X-Google-Smtp-Source: APXvYqzBQnSnkk39CBWtFpM5TlkpANuGT6r9oyvkTdtcZd9doN+vAzBEP53Cg7g9t6NezCPuqecIew== X-Received: by 2002:a5d:4002:: with SMTP id n2mr9836540wrp.187.1558707438559; Fri, 24 May 2019 07:17:18 -0700 (PDT) Received: from Lucas-MacBook-Pro.local ([193.204.202.130]) by smtp.gmail.com with ESMTPSA id w13sm12181904wmk.0.2019.05.24.07.17.17 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 24 May 2019 07:17:18 -0700 (PDT) From: Luca Pulina To: caml-list@inria.fr Message-ID: <7d65fa6b-64da-39db-9d3c-9ac0973ed95b@uniss.it> Date: Fri, 24 May 2019 16:17:16 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable Content-Language: en-US X-Validation-by: lpulina@uniss.it Subject: [Caml-list] Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems Reply-To: Luca Pulina X-Loop: caml-list@inria.fr X-Sequence: 17571 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: [apologies if you receive multiple copies of this message] ---------------------------------------------------------------------------= --- 2nd PhD Workshop on Cyber-Physical Systems Porto Conte Ricerche - Alghero - Sardinia - Italy September 23, 2019 http://www.cpsschool.eu/cps-workshop/ ---------------------------------------------------------------------------= --- The PhD Workshop on Cyber-Physical Systems (CPS) is an initiative of the=20 CPS Summer School community to offer participants a close contact with=20 leading experts on the field,=C2=A0 as well as the opportunity to present a= nd=20 discuss their ideas in a dynamic and friendly setting. We invite PhD=20 students to submit papers describing their research on any of the topics=20 of interest of the school. Topics of Interest Models, methods, tools, and architectures for CPS Testing, modelling, and validation of CPS Verification and formal methods for CPS Intelligent methods and algorithms for CPS Reactive and real-time systems Reconfigurable and self-aware systems On-line monitoring and management of CPS Security, trust and dependability of CPS Examples of CPS applications Submission The submissions should contain a description of the problem being=20 addressed, your motivation for addressing the problem, proposed plan of=20 research, the progress to date (what you have already achieved and what=20 remains to be done), and related work. The accepted papers will be=20 presented during the evening on the September 23th to an interested=20 audience and will be discussed with a panel of senior researchers from=20 academia and the industry. Participants will present their work with=20 brief oral presentations and poster session. Papers are expected to be=20 6-10 pages (excluding references), written in English following the LNCS=20 format and submitted electronically in PDF format via EasyChair=20 (https://easychair.org/conferences/?conf=3Dcpsws19). Important deadlines Submission by 21 June 2019 Notification by 28 June 2019 Camera-ready by 5 July 2019 Proceedings Accepted papers will be published online as part of CEUR- WS=20 Proceedings, which are broadly indexed, e.g., by SCOPUS and listed in=20 standard bibliographic databases such as DBLP. N.B. Papers accepted will=20 only be included in the published Proceedings under the condition that=20 at least one author attend the workshop to present it. Fees Workshop only: 30 =E2=82=AC for PhD student, and 50 =E2=82=AC for others. Workshop Chair Luca Pulina, University of Sassari --=20 -- *Dona il=C2=A0 5x1000* all'Universit=C3=A0 degli Studi di Sassaricodice fis= cale:=20 00196350904