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 49A835D5 for ; Tue, 21 Jun 2022 09:17:51 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=LY4B5S0BUjgExqJyWca/Zru80LHVEgBeNYI2lmGHKis=; b=bTdRTBOI0eQKZyEDkZe81s97HFQueQdb5trksUWxy8RYD94GllBSQyAb 55RAcXeGIsNmtOKJkktbxitm47GAzG8DVzg8Nh9kpJCpREXxWpHzyMDuv wrKL02GAYQNFWrhQ1roJkYxebPHb2hu6dAprDo/VOWwoogZF9e2X0i94n U=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.92,209,1650924000"; d="scan'208,217";a="42123751" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Jun 2022 11:17:50 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9DE4DE437A; Tue, 21 Jun 2022 11:17:49 +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 85E67E0094 for ; Tue, 21 Jun 2022 11:17:46 +0200 (CEST) IronPort-SDR: JFISo6gEpsMYcZMBL+3WbeozylO4xmmke7CfEnTwmCxCIlbZuYlH1n5Pn1HyfvSh8kdqhxW6q0 zh05eH7oZvIcNhGgO0CgNe4MMpPPoJcnZD3YpTcXG3I4tB3DhEbnqOgwEdGuzrCv1SfO5XSHFa j9Wkdq7iC6du2F9bEGx79OfUS99t+qf4DsoE2xGvia+tYifDsWm0H25GGOeWdsvNiLOfmiK05V GjIpu7wg7nEXTPQJYKvf0egyZjrk/Xi8JFC7z+lE3tdrSK7J3SSsSjywpxb12sGsCmtPb85Dxk nxpFea4t8BgPBiooOljtvnQi X-IPAS-Result: =?us-ascii?q?A0CdAgApjLFimDGOcoNagQmBT4EhMSoofwJZKwQLW5VDF?= =?us-ascii?q?J1/A1QLAQMBCwEBNwkCBAEBgg+IPwIdBgYzBg4BAgQBAQEBAwIDAQEBAQEBA?= =?us-ascii?q?wEBBQEBAQIBAQIEBAETAQEBAQEBAQEJCwkHBgwFEA4FL2RqgU+BfwsDMQEMg?= =?us-ascii?q?jUMhRMBQz0nBBuCHVgBgg5SOAMBBAqsXYEzgQGEIQWDc4FfBoE+h0eBKV6BB?= =?us-ascii?q?4RGEIFVRIEUATaCRG6BBQGBXAEBgTeGZASZTwc4A0c0EoEhcQEIBgYHCgUyB?= =?us-ascii?q?gIMGBQEAgMQElMdAhIMChwOVBkMDwMSAxEBBwILEggVLAgDAgMIAwIDLgIDF?= =?us-ascii?q?wkHCgMdCAocEhAUAgQTHgsIAxkfLAkCBA4DRQgLCgMRBAMTGAsWCBAEBgMJL?= =?us-ascii?q?w0oCwMFDw0BBgMGAgUFAQMgAxQDBScHAyEHCyYNDQQjHQMDBSYDAgIbBwICA?= =?us-ascii?q?wIGFwYCAm4KJg0IBAgEHB0kEAUCBzEFBC8CHgQFBhEJAhYCBgQFAgQEFgICE?= =?us-ascii?q?ggCCCcbBxY2GQEFXQYLCSEcKREFBhYDI3EFSA8pNTY8LyEbCoEMARYsLSEIA?= =?us-ascii?q?R+cJmMTPCwVDTQTBBwQDAwyCpIoCI1NgXaeaTQHgj6BE4E+BgyJT5RiLhWoY?= =?us-ascii?q?5ZuII0OiAaMSxOEewIEAgQFAhaBd1+BIE2DXBE8AQIBAQENAQIBAQIBAQIBA?= =?us-ascii?q?QEJAQEBAY40Ah6DO4pegTACBgEKAQEDCYVqhk+BNgGBEQEB?= IronPort-PHdr: A9a23:bNtKGxS1SCaqhkY4+aeusH+Tk9psopeVAWYlg6HPa5pwe6iut67vI FbYra00ygOTBsOCsKkP0rCempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQtFiCCgbb58I hi6ohjdutcLioZ+N6g9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxkTwLmiDocNz4h7m7YltBwgqxcoBKkvRN/wojUa5yROPdxeq7ReNUXTndDUMlMTSxMGoOyY ZUSAeodM+hWrIj9qEcBohalHwagGOHvxyVUinPqwKE31fkqHwHc3AwnGtIDqHPao8/oNKcIU OC0zajIzTLeZP1Mwzj97I3IchE/rvGWXLJ7bM3cyUw1GAPYlFWQqI3kPzKS1ugXq2iU9e5gV eeui2E5sQFxoyOixsYqionGnI4V11bE9SRhwIY0P9G4SVJ7bMeiHZBNuC6UK5F4Tdk+Q2F0p ik60LsGtIa0cSYK1pkqxQDTZvyZfoWU7R/vSeKcLzl2in54Zb6yhBK//Eihx+DhVse4zlZEo y5Yn9TStH0ByQDf5MeJRPVy+EqqxDiB1wfW6u5eIEA0k7LWK5Emwr43mZoTtVrMEjXql0Xxi a+bcFgv9Ouw6+n/f7nrqIKQO5Vphg3jPakigNGzDOsmPgQUUGWW/fyw2KDt8EHkWrlGk+A6n 6bDvJ3YO8gXvLC1DxNV34o79hqyASqq3M4FkXUaI19JYhCKgobzN13QL/31D/GyiEm2njhx3 fDJJLjhD43NLnfdlLfheq5w5FBHyAop199f4I9UCq0fLP7pR0/xst3YDgc4MwCuwubnFM1x1 oIYWW2RHq+UKL7evFGV6u41PuWAeYAYtCzgJ/Uq+fLil3A0lFsFcamsx5QXaXS4Hvp8I0WeZ HrhmtIBHn0XvgokTezriVyCUTlJa3aqRa084jQ7CIO4AofZR4Cgm72B3CG0HpFMe2BGDFGME W/pd4meWvcMdDqeIsl6nTMcT7iuV5ch1Q2ytA/907drM/LY+jcEupL7yNh1++rTmAku+jNuC sSd13iBT2V1nmMTWz87x7t/oEx4yleby6d0mf1YFdpJ5/NISAg2L5Dcz/YpQ+z1D0jKd9KND VKnWcmOADcrT9t3zcVEKxJ2EtCmyxTCxDaCArkPlrXNCoZioYzG2H2kAs9g0XfU1a5pt1AiR 8pCL2zu0qt26hLSFY/O1V2Qk6OreL4d9C/L+yGey2uWvQdZTFgjAu3+QXkDax6O/pzC7UTYQ uryWNzPUyNEwM+Gce5Rb8HxyE5BXLHlMcjfZGS4nyGxAwyJz/WCdtmiYH0TiQPaDkVMiAUP5 TCeLwFrAy68uWPMDTsoDVvrZkLh6+hWqXW0CFIyzhmLKUx9hPKu4hBAo/uaRrsI264c/iIoq jF6BlG4itffFsCBtQtmOr1VZdY87U1G/WPfuEpgOJ24LuZjmg1WaBx56mXp0Rg/EYBciY4qo XctmRJ1Mr6d2Uhdeimw0IvqM7rKNjO04Rauc6+Q2022PM++3KAJ5bx4rlziuFrsDU8+6zB81 MET1XKA55LMBQ5UUJTrU09x+QIo77fdKjIw4Y/ZzxgOeeG9ryPC1tQ1BeAk1gfoftFRN7mBH RPzFMtSDtanKegjkVykJhweO+Ua+KkxNsKgP/yIvczjdONpgSinn2VApph01keN+jB9Yu/O0 NAYxfCA302GS3a0jVustNz2hZERfSsbTQ/dgWDvAI9cYLE3fJ5eUDz3ZZTumpMn28SrBy8Lk TzrT0kL08KoZxeIOln03AkLkF8SvWTigiygiTp9jzAuqKObmi3I2eXrMhQdaQspDCFvi0nhJ Y+sgpUURk+tOkIsnQa/5FT7wO5DraB6LmTJQG9JeSewMmdjSqr2t6bIMKstoNs49D5aVuixe wXQT7fguRoI0iSlB2JawTE2bTCCu5P22QF8iXqcandv5im8G4k41VLU49rSQuRU1zwNSXxji DXZMVO7OsGg4dSek5qrXvmWcWWnW9UTdCDqydjFry6n/ShxBgX5mfmvm9rhGAx80Cnh1tAsW z+a5BD7KpLm0ai3K4cFNgFhGUP85sxmG4p/jpp4hZce3mIfj4mU+nxPmHn6MNFS06bzJHQXQ jtDz9nQ6QnjkEptSxDBj4fwS2+c0MpmIcGzZmYX1zg8x8FMB+GJ6r1cnG10vhvwrA7cZ+R8g iZIzPIv7HAAhORa3Whlhi6ZA70UAQxZJXm1zE3Otoni6vwLPiDzIOvVtgI2h92qAbCcrxsJX X/4fsxnBips9oBkN0qK1nTv64bicd2WbNQJtxTSnQ2T6oodYJ83iPcOgjJqfGznunhwgesyk AZvz5C9+pCOL2Bs8bi4Kh9eOXvoYcIL+3fskewN+6Tel5DqBZhnFjgRCdHtRO+yESATsrL/P gKLETAmq1+aH7WZAAme8EYgrm6FQPXJfzmHYXIey9tlXhyUIkdS1RsVUDsNlZk8Dgm2xcblf S+V/xg34Vj14ltJw+NsbFzkV3vH4RyvcnEyQYSeKxxf6kdD4V3UOIqQ9LA7GSYQ5ZCnoAGXT w7TLw1VEWEEXFCFDFH/L/Gv49fH6e2RGuu5KbPHf7yPreVUU/rAy4io18Nq+DOFN8PHOXcHb bVzwk1YQXVwANjUgR0CUDYekD/RNYiGohak+2t2soH38fjmXh7u+ZraC7ZWNoYKmVj+iqOCO uiMwSdhfG8Dj9VVnCOOkeRFmgJD2EQMP3G3HL8NtDDAVvfVk65TVFsAbj9rcdBP9+Q61xVMP sjSjpX00KR5h7g7EQQgNxSpl8e3aMgNO2z4OknAARPBMb2bPzzZwsaxeaq4TLxdluR8thu// yudElfieDWf3WqMNVjnIaRXgSeXMQYL8pm6aQpoAHP/QcjOZwahOdhqkWdw3Ls1nnKMNHJWY l0eOwtd67aX6y1fmPB2HWdMu2FkIeezkCGc9+DEK5wSvJOD5wx1ke0c/XI707oT7T0WHJSde QPftcRnpEy6yK+SzDt/UVxPtmQT7GpklURkNuPE8JhYWDDF4EBVhVg= IronPort-Data: A9a23:xl63AqtiU3IcNMBkOMEIRV96CefnVGFYMUV32f8akzHdYApBsoF/q tZmKWuHbq7fY2qge9B1bdzg8BgEsMPczd5kTwU9+3o2QngSgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g527BVPyvX4 Ymo+5OFYQf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnba7chdxH7/cpOcQch9YTT1+B7UB+rCSdBBTseTLp6HHW3b32fxpEV1se5Ae+/52R2BSn RAaAGlWN1ba3r7wme7hDLU97iggBJGD0Ic3v3h91zDLDPFgWZnHRqTH/95w3TE/wN1IHO7fI csFAdZqRE2fOEMSZw1KYH44tOasnWGubRtjkU2qobUR+DnXnQ8u4Ke4ZbI5ffTQGp8OxRrIz o7cxEzyCxQecdie0iat6WOpnuaJnCXhWYtUGqfQyxJxqFCI3GUUFQFME0a9oOG4zE+iMz5CF 6AK0gAllrhq1V67ctrwfhu4/mKEhAZbWdUFRoXW9zqx4qbT5g+YAE0NQThAdMEquacKqdoCj QDhczTBWWEHjVGFdZ6O3uvP8mviaED5OUdbPXNcHVVtD8zL/ekOYgTzosFLMZLdYjfdITDry lhmRwBj2exJ1qbnO42H4EvMijS9zqUloyY4/R/eWX+5tEVkYo+9Zsqp9TA3DMqszq7HFjFtX 1BdxaByCdzi67nWzkRhp81WQdmUCw6tamG0vLKWN8BJG86R03CiZ5tMxzp1OV1kNM0JERewP hKO5l8AtMQPbCXyBUOSX25XI5l2pUQHPYm6Ps04kvIePvCdiSfdo342Ox7At4wTuBdyyfhX1 WinnTaEVylAUv87nFJats8W1rkwwToixH7WDZ/y1Q7P7FZtTCD9dFvxC3PXNrpRxPrd+G39q o8PX+PXlUk3eLCgM0H/rN5CRXhXfCNTLc2n9KR/KLXZSiI4Qz5JNhMk6e57E2CTt/4Lxr6gE 7DUchIw9WcTclWdclrRMC85Nu2yNXu9xFpiVRER0Z+T8yBLSe6SAG03LfPbpJErq75uy+BaV f4Ad5nSC/hDUG2dqTUbYt/gqo16dVKqmVvWbSaiZTE+eb9mRhDIqoW+LlS0qnFWA3rlr9Y6r p2hyhjfEMgKSAlVBcrLbO6ikgGqtn8HleMuB0bFe4EBeEjl/IVwBTb2i/s7f5MFJRnZn2HI1 gCZRwoepPHM5Y4pqYGbiaeBpoavMu1/AksKRTOLsu3obXHXpzPxz5VBXeCEeSHmeFn1oKjyN /9Iy/zcMeEcmAcYuoVxJL9n0KYi6oa9vLRd1AllQC3GYln3WLNtJn6KgZtGuqFXn+ALtBCsU 0WS5oMcJLOIIMKjEUJIfFgpaeGK1Pc1nDjO7KRvehWlv3EvpLfXA19POxSsiTBGKOonOYwo9 u4tpcoK5lHtkREtKNuH0nhZ+jjeNHAGSKl75JgWDJWy1Vgm0UtLZoHAUGnr5pCXapNNLhByc DOTgaPDgZVax1bDIyBpRSeWg7IFiMRcog1OwX8DO0+Ny4jMifIA1RFM9Sg6E1ZOxRJd3uMvY mVmOiWZ/0lVE+uEWSSCY4ytJ+2FLBCC4EX21kdT0nDfTlGpEG3RRIH41SBh42hBm1+wvBACl F1b9IoheTfsc4fs2CoqWAhkt5QPiDC3GhLqwKia8gfsI3X+STvjjemzY2sQql3mHavdQaEBS fZCpI5NVEEwCcLcT2DXxWVXOXT8hS1o/FB/fMw= IronPort-HdrOrdr: A9a23:/pf9s6N7lxrk2MBcT7n155DYdb4zR+YMi2TDj3oBLSC9Afbo8P xG/c5rriMc5wxhOk3I9eruBEDiewKnyXcW2/h1AV7KZmCP0wHEQL2KhrGC/9SUIVycygcr78 ddmsZFZuEYRmIK6/oSqDPIauoI8Z2i9a/tr+DOyFNiSRwvQ6Rk6RkRMHfrLmRGAC1CCt4VLr bZ2cZdvTqnfh0sH7mGL0hAe+3N4/HNi57iZwcLQzE97g3mt0LX1JfKVzyc0VM6UzlCxq0vmF K14DDR1+GGtv7+8QPY23WW0JhMgtvmzbJ4dbCxo/lQDjDizjytbJ99XLGe+A84u/uu7lFCqq iynz4Qe+B35DfseWGsvRfM1mDboUQTwk6n7VqWxUTuutb4QjVSMbswuWt2SGqg13Yd X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.92,209,1650924000"; d="scan'208,217";a="17365525" X-MGA-submission: =?us-ascii?q?MDHxOFzEFFePOJdlxWp5SVtU3eK/Z2L02RjnO5?= =?us-ascii?q?GV4wxXLPFJQljgKS/1RGUxN2fYTsm7B3oUd3beup6/9kulnswtPtE2Sh?= =?us-ascii?q?NpVCS/VllPUNPVd+F3yhnWC9kb0D0mBSJva+h4QvxOoX2cH4DhPCh1VW?= =?us-ascii?q?K1toCi6VVZf9agTGqPRpq2qg=3D=3D?= Received: from esraout2.unipi.it ([131.114.142.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 21 Jun 2022 11:17:46 +0200 Received: from esraout2.unipi.it (127.0.0.1) id hm66bi0171s5 for ; Tue, 21 Jun 2022 11:17:45 +0200 (envelope-from ) Received: from EX16-05.ad.unipi.it ([131.114.73.245]) by esraout2.unipi.it ([192.168.50.49]) (SonicWall 10.0.17.7319) with ESMTPS (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256/256) id o202206210917450512293-6; Tue, 21 Jun 2022 11:17:45 +0200 Received: from EX16-07.ad.unipi.it (131.114.73.247) by EX16-05.ad.unipi.it (131.114.73.245) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.9; Tue, 21 Jun 2022 11:17:44 +0200 Received: from EX16-07.ad.unipi.it ([fe80::1003:37cc:1686:7831]) by EX16-07.ad.unipi.it ([fe80::1003:37cc:1686:7831%4]) with mapi id 15.01.2507.009; Tue, 21 Jun 2022 11:17:44 +0200 From: Maurizio Palmieri To: "caml-list@inria.fr" Thread-Topic: CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Submission due: Sunday 31 July 2022 Thread-Index: AQHYhU/EvfodEBWGOEScb0zYrBczrw== Date: Tue, 21 Jun 2022 09:17:44 +0000 Message-ID: Accept-Language: it-IT, en-US Content-Language: it-IT X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [131.114.72.205] Content-Type: multipart/alternative; boundary="_000_ce657b0a3eb24cb7a9d4804671f73196ingunipiit_" MIME-Version: 1.0 X-Mlf-DSE-Version: 6879 X-Mlf-Rules-Version: s20220519150137; ds20200715013501; di20220620155747; ri20160318003319; fs20220620160025 X-Mlf-Smartnet-Version: 20210917223710 X-Mlf-Envelope-From: maurizio.palmieri@ing.unipi.it X-Mlf-CnxnMgmt-Allow: 131.114.73.245 X-Mlf-Version: 10.0.17.7319 X-Mlf-License: BSV_C_AP_T_R X-Mlf-UniqueId: o202206210917450512293 Subject: [Caml-list] CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Submission due: Sunday 31 July 2022 Reply-To: Maurizio Palmieri X-Loop: caml-list@inria.fr X-Sequence: 18808 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --_000_ce657b0a3eb24cb7a9d4804671f73196ingunipiit_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable [Apologies if you receive multiple copies of this message] CfP: CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems A satellite event of SEFM 2022, September 27, 2022, Berlin, Germany Submission due: Sunday 31 July 2022 Website: https://sites.google.com/view/cosimcps2022/home Categories: simulation, formal methods, modeling, systems engineering, and co-simulation ---------------------------------------------------------------------------= ----------------------------- CoSim-CPS is a workshop on the integrated application of formal methods and co-simulation technologies in the development of software for Cyber-Physical Systems. Topics of interest include, but are not limited to: - Development of new co-simulation methods and tools - Integration of formal methods technologies in co-simulation methods and tools - Experience reports on using existing co-simulation methods and tools - Emerging standards for co-simulation - Modeling and analysis of safety properties of cyber-physical systems through co-simulation - Modeling and analysis of human-machine interfaces in cyber-physical systems through co-simulation - Modeling and analysis of security aspects of cyber-physical systems through co-simulation - Co-simulation of the next-generation cyber-physical systems - Co-simulation in self-adaptive and digital twin systems SUBMISSION GUIDELINES & PROCEEDINGS: * Papers will be reviewed by at least 3 PC members. * Proceedings might be published (under discussion) in Springer's Lecture Notes in Computer Science series. * All speakers will be required to register and give a talk in person. Talks will be streamed online. IMPORTANT DATES * Abstract submission (optional): Sunday 24 July 2022 * Paper submission: Sunday 31 July 2022 * Notification: Wednesday 31 August 2022 * Camera-ready version: Monday 19 September 2022 * Workshop date: Tuesday 27 September 2022 PC CO-CHAIRS - Cinzia Bernardeschi, University of Pisa, Italy - Claudio Gomes, Aarhus University, Denmark - Maurizio Palmieri, University of Pisa, Italy - Paolo Masci, National Institute of Aerospace (NIA), USA Program Committee - Aaron Dutle, NASA Langley Reserach Center, USA - Adriano Fagiolini, University of Palermo, Ital - Andrea Domenici, University of Pisa, Italy - Francesco Flammini, M=E4lardalen University, Sweden - Francisco J. Gonz=E1lez, University of A Coru=F1a, Spain - Holger Pfeifer, fortiss GmbH, Germany - Hugo Daniel Macedo, Aarhus University, Denmark - J=F6rg Brauer, Verified Systems International GmbH, Germany - Julien Alexandre Dit Sandretto, Ensta ParisTech, France - Ken Pierce, Newcastle University, UK - Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse, France - Paul De Meulenaere, University of Antwerp, Belgium - Rudolf Schlatte, University of Oslo, Norway - Stylianos Basagiannis, Collins Aerospace, Ireland --_000_ce657b0a3eb24cb7a9d4804671f73196ingunipiit_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable 

[Apologies if you receive multi=
ple copies of this message]

CfP: CoSim-CPS, 6th Workshop on=
 Formal Co-Simulation of Cyber-Physical=0A=
Systems=0A=
A satellite event of SEFM 2022, September 27, 2022, Berlin, Germany=0A=
=0A=
Submission due: Sunday 31 July 2022=0A=
Website: https://sites.google.com/view/cosimcps2022/home=0A=
Categories: simulation, formal methods, modeling, systems engineering, =0A=
and co-simulation=0A=
---------------------------------------------------------------------------=
-----------------------------=0A=
=0A=
CoSim-CPS is a workshop on the integrated application of formal =0A=
methods and co-simulation technologies in the development of =0A=
software for Cyber-Physical Systems.=0A=
=0A=
Topics of interest include, but are not limited to:=0A=
- Development of new co-simulation methods and tools=0A=
- Integration of formal methods technologies in co-simulation methods=0A=
and tools=0A=
- Experience reports on using existing co-simulation methods and tools=0A=
- Emerging standards for co-simulation=0A=
- Modeling and analysis of safety properties of cyber-physical systems =0A=
through co-simulation=0A=
- Modeling and analysis of human-machine interfaces in cyber-physical =0A=
systems through co-simulation=0A=
- Modeling and analysis of security aspects of cyber-physical systems =0A=
through co-simulation=0A=
- Co-simulation of the next-generation cyber-physical systems=0A=
- Co-simulation in self-adaptive and digital twin systems=0A=
=0A=
SUBMISSION GUIDELINES & PROCEEDINGS: =0A=
 * Papers will be reviewed by at least 3 PC members.=0A=
 * Proceedings might be published (under discussion) in Springer's =0A=
Lecture Notes in Computer Science series. =0A=
* All speakers will be required to register and give a talk in person.=0A=
Talks will be streamed online.=0A=
=0A=
IMPORTANT DATES=0A=
* Abstract submission (optional): Sunday 24 July 2022 =0A=
* Paper submission: Sunday 31 July 2022  =0A=
* Notification: Wednesday 31 August 2022=0A=
* Camera-ready version:  Monday 19 September 2022=0A=
* Workshop date: Tuesday 27 September 2022=0A=
=0A=
PC CO-CHAIRS=0A=
- Cinzia Bernardeschi, University of Pisa, Italy=0A=
- Claudio Gomes, Aarhus University, Denmark=0A=
- Maurizio Palmieri, University of Pisa, Italy=0A=
- Paolo Masci, National Institute of Aerospace (NIA), USA=0A=
=0A=
Program Committee=0A=
- Aaron Dutle, NASA Langley Reserach Center, USA=0A=
- Adriano Fagiolini, University of Palermo, Ital=0A=
- Andrea Domenici, University of Pisa, Italy=0A=
- Francesco Flammini, M=E4lardalen University, Sweden=0A=
- Francisco J.  Gonz=E1lez, University of A Coru=F1a, Spain=0A=
- Holger Pfeifer, fortiss GmbH, Germany=0A=
- Hugo Daniel Macedo, Aarhus University, Denmark=0A=
- J=F6rg Brauer, Verified Systems International GmbH, Germany=0A=
- Julien Alexandre Dit Sandretto, Ensta ParisTech, France=0A=
- Ken Pierce, Newcastle University, UK=0A=
- Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse, France=0A=
- Paul De Meulenaere, University of Antwerp, Belgium =0A=
- Rudolf Schlatte, University of Oslo, Norway =0A=
- Stylianos Basagiannis, Collins Aerospace, Ireland

--_000_ce657b0a3eb24cb7a9d4804671f73196ingunipiit_--