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 6F0A95D5 for ; Tue, 3 Sep 2019 10:01:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,462,1559512800"; d="scan'208";a="400004743" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Sep 2019 12:01:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3D79F7ED21; Tue, 3 Sep 2019 12:01:36 +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 3CFFB7ED21; Tue, 3 Sep 2019 11:53:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nevrenato@gmail.com; spf=Pass smtp.mailfrom=nevrenato@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f66.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AVQWqSxNqQR1LHdeN7KUl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/T7rarrMEGX3/hxlliBBdydt6sezbOJ6eu5ACQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Ngi6oAfPusUZnIduN7s6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?gAKjA57XrXitRug61HvBKvqRt/w4vOb4GUMvp1Y6fRcNweSGZEWMteUDBMD42g?= =?us-ascii?q?Y4cSFuYNIftUpJT5q1cTrRayAA+hD/7txDBVnH/7xa403eQ/Hw7a0wMuAtwAv3?= =?us-ascii?q?rbotjuKKcSSPq4wLXUwTjZbf5b3yr25ojSchAmpPGBRa5+ftTXyUY1CwPFiUib?= =?us-ascii?q?p5T7MDOLyOsNqHWQ4u1mVe2xlW4nsR9+oj61yccwjYnEnY0VylXe+iV4xIY5P8?= =?us-ascii?q?G3SEl+YdO9FpZbqi+UN4xzQsw4QmFovj43xaYHuZ6nZiQKzJQmywbea/yBbYeI?= =?us-ascii?q?+Q7sVPqPLjhknn5lYK6/ihCv+kaj0u3xTte43EpOoyZfkdTBtmoB2wHN5sWEUP?= =?us-ascii?q?dw/0as1S6R2wzP9u1IPEU5mKnBJJI9x7M/iJQevl7BEyLzhEr7iLOaelgh9+Wq?= =?us-ascii?q?9+vqYrTrq5qGOI96lA3+PKEjl82xDOk2MwUDWnKU9viy2bL++0DyXa9Egecskq?= =?us-ascii?q?bDtZDXPcQbqbC9Aw9Syosj7gywDzai0NgBk3gHKU9JdAuJj4XoOlzCOv/4DfC4?= =?us-ascii?q?g1SjlDdk2erKMaHmApXINnTDkbHhcqhh60NE1gY/0dRS64hXB7wBOv7/R1H9ud?= =?us-ascii?q?/CAhI4MgG42+PnB8981oMaV2KPGKiZMKbKvF+O+O0vPfOMa5ETuDnnN/gl4OXj?= =?us-ascii?q?jXA8mVAHfKmp2YEbZ2y/HvRjO0mZe2bjgs8dEWcWuQozVPDlh0eHUT5XfnqyW6?= =?us-ascii?q?M85ionCI+9FofCRoWtgKSb0yuhH51WYHpGClGWHnvyeYWEQe8GaDiOLc95jjwE?= =?us-ascii?q?Sb+hRpc92hGprQ/20qZoLu7J+iIDrp/jz9h05+jLlR4o7zB0DsKd03uMT25uhG?= =?us-ascii?q?8ISSU2j+hDphlHx1GKza8wpfFGGMcbs/VETB03M5fAyMR1DtnzXkTKedLfG3i8?= =?us-ascii?q?RdDzOzw3R842i/kDfUtmU4Gkgw7Z0iyjH7g9mLmCBZhy+aXZiSuib/1hwmrLgf?= =?us-ascii?q?Fyx2ItRdFCYDP63/Itx03oH4fM1n6hueOyb61FhXzC8W6CySyFu0QKCFctA5WA?= =?us-ascii?q?ZmgWYw7tlfq85k7GSOXzW7EuMw8E1svbb6UUNJvmilJJQPqlM9PbMTroyjWAQC?= =?us-ascii?q?2Qz7bJV7LEPmAU3SHTEk8ByllB8nOPNAx4DSCk8TvT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BCBACJN25dZ0KAVdFlg14pKm2BGwEBE?= =?us-ascii?q?oQhg0qLRJpEeYFnCQEDAQoBAQUaCgQCAQGBS4JwAoJ1GwcBBDQTAgsBAQQBAQE?= =?us-ascii?q?CAQMDBAETCwsLBimFNwyCOgwMA4MOCwYdARsMBQ0DEhADDAImAiURAQUBIhMUA?= =?us-ascii?q?gQIgjVMgWkBAx0BDp0egQM8iySBFQUBFx2CYAWBMwGBFYF/ChknDWSBPQIHCQE?= =?us-ascii?q?IeiiLeBiBf4EQAYURgSACgSWDR4JYBIw6GAifP0aBY4Ing2xgjWgbgjOHNoNki?= =?us-ascii?q?xmEK4w0hQyQVAIKBwYPIYFGgXkzGiOBAW0KgUQJFoYVg3GBcIRzQDIZAWs+jkU?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0BCBACJN25dZ0KAVdFlg14pKm2BGwEBEoQhg0qLRJpEeYF?= =?us-ascii?q?nCQEDAQoBAQUaCgQCAQGBS4JwAoJ1GwcBBDQTAgsBAQQBAQECAQMDBAETCwsLB?= =?us-ascii?q?imFNwyCOgwMA4MOCwYdARsMBQ0DEhADDAImAiURAQUBIhMUAgQIgjVMgWkBAx0?= =?us-ascii?q?BDp0egQM8iySBFQUBFx2CYAWBMwGBFYF/ChknDWSBPQIHCQEIeiiLeBiBf4EQA?= =?us-ascii?q?YURgSACgSWDR4JYBIw6GAifP0aBY4Ing2xgjWgbgjOHNoNkixmEK4w0hQyQVAI?= =?us-ascii?q?KBwYPIYFGgXkzGiOBAW0KgUQJFoYVg3GBcIRzQDIZAWs+jkUBAQ?= X-IronPort-AV: E=Sophos;i="5.64,462,1559512800"; d="scan'208";a="318081106" X-MGA-submission: =?us-ascii?q?MDFfNObu9qcaZ2WN8fwgNQ8hU62+eCgvdxPGIa?= =?us-ascii?q?SUt8mFb/HbyzjrbDMsYjAi+HSR86eoM60LqRsO/HTx9h5gPv+G0Tl2Xz?= =?us-ascii?q?mpJT9ZSxlg0n6QrTQJsvTRN3aDtRh3N8AlGJYJJ5aU5dmUKorEwDVSCA?= =?us-ascii?q?SbWGqIpZyoG5DCIXph2ip5Ng=3D=3D?= Received: from mail-wm1-f66.google.com ([209.85.128.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Sep 2019 11:53:01 +0200 Received: by mail-wm1-f66.google.com with SMTP id k1so17388263wmi.1; Tue, 03 Sep 2019 02:53:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:from:to:mime-version:subject:resent-from:resent-to :resent-bcc:date:user-agent:content-transfer-encoding; bh=cz4wXckeTFl5fV0KwUPwL8IC0e0ymkvsvJsQacGqJI4=; b=ACHJpnjQaYuz8dedc2pyGOdvJEraD5GgNZLegwNP+R47yNNlpIwcfGDfKkh7yko/Mb sgDc8VEbsm2DEzAOW0neoI04sr9z0wraYGlGJ1Pym7PJJFYrEN/tKVW5SQjXeQPgHR03 Flp75UTHacH9Xa5UGWiumTiT4CVOl+KS6p0e+LBPmBBEmALgkDqZtUM+gVMloa2Eno8B +xqGelLUoDhdRfI8z1/34z0ufrocYqqCfhRSUnHFniLRwDyQbNugFArgjxy23wYnd8Wv fyDxaGM7c+FXgatrobnB2PXuUcaaOzllMl8/s3NFjd5clu+FuzD2FmyMI67Ji1vDABHX TMwA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:from:to:mime-version:subject :resent-from:resent-to:resent-bcc:date:user-agent :content-transfer-encoding; bh=cz4wXckeTFl5fV0KwUPwL8IC0e0ymkvsvJsQacGqJI4=; b=DXUR4xbX0zs6NU1RoVnXMIccEqk0NruA6Rf8VcjF6SJbqQFrBpUQD/TUcKToP9rCzw F/jsISYEbbMXZhgjS1pp78bXqv+MUbsk7zGREOlZnfxEf7X5wPPxFYrys+LQRcCoO4wH c1hAkCONJ2YuPlqpL9f5ObT4NBWf2ZlHU2jJiH8HjgLz20n0uR3N9cW/uQVt9cp2kT6m 6wztthzT2BHJchUpy5Q0iNfNSgy0i4ymLhkvAQPjcUD/PGCRc9KF4lxbuwuQyAZ/FOXp vLn42GB5d6AhqYIaHSqvpKHGjIhrCDzib6Q1K0plEJWPc8fguXSKc4IxINvwbGwgoNBZ kGhA== X-Gm-Message-State: APjAAAX/YbUqbO9yekrWzfDgbNlX8Xc0lFyhEGD6bRJ7J6eEgFqr8HkE jHEgZxgcKhcT/kkxlhx0zSY= X-Google-Smtp-Source: APXvYqzNT7aKgTbO2KKxtTnb6aZyHA/HrdSKShoR5P1yrTz83pBk2lGXuvNwS6ux1UKSRuxRBg2dgw== X-Received: by 2002:a1c:cf4e:: with SMTP id f75mr33161173wmg.49.1567504380819; Tue, 03 Sep 2019 02:53:00 -0700 (PDT) Received: from localhost.localdomain ([2001:8a0:e3a7:c901:7c56:af2f:6336:ac3d]) by smtp.gmail.com with ESMTPSA id f15sm10915445wml.8.2019.09.03.02.52.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 03 Sep 2019 02:53:00 -0700 (PDT) Received: from localhost.localdomain ([2001:8a0:e3a7:c901:7c56:af2f:6336:ac3d]) by smtp.gmail.com with ESMTPSA id 189sm15382687wmz.19.2019.09.02.14.11.43 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 02 Sep 2019 14:11:43 -0700 (PDT) Message-ID: <000309a86710b559fd51f7fe4b1de56f9aa06e42.camel@gmail.com> From: Renato Neves To: Renato Neves Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 Resent-From: Renato Neves Resent-To: Renato Neves Date: Tue, 03 Sep 2019 10:52:57 +0100 User-Agent: Evolution 3.30.3 (3.30.3-1.fc29) Content-Transfer-Encoding: quoted-printable X-Validation-by: nevrenato@gmail.com Subject: [Caml-list] FM'19 - 2nd Call for Participation Reply-To: Renato Neves X-Loop: caml-list@inria.fr X-Sequence: 17792 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: Resent-Message-Id: <20190903100136.3D79F7ED21@sympa.inria.fr> Resent-Date: Tue, 3 Sep 2019 12:01:35 +0200 (CEST) 3rd World Congress on Formal Methods Porto, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ @formalmethods19 ______________________________________________________________ *** Apologies for cross-posting *** ______________________________________________________________ *** FM Week News: Tony Hoare's keynote (Oct 8) jointly organized by UTP'19, LOPSTR'19, MPC'19, PPDP'19 and RV'19 will mark the 50th anniversary (October 1969) of the publication of "An Axiomatic Basis for Computer Programming=E2=80=9D. ______________________________________________________________ The FM'19 World Congress on Formal Methods will take place at the Alfandega do Porto Congress Center, Porto, October 7-11, 2019, under the motto "The Next 30 Years". Registration is open at https://bit.ly/2JfdBjO as follows: . Early =E2=80=93 until Sep 10 (AoE) . Late =E2=80=93 from Sep 11 until Oct 5 (AoE) . On site =E2=80=93 from Oct 6 to Oct 11 (AoE) Further to the Industry day, Tool Exhibition, Doctoral Symposium (and a social event on Oct 10), FM'19 involves more than 30 parallel events (symposia, conferences, workshops and tutorials) spreading over several FM related areas: . FM 2019 =E2=80=93 23rd International Symposium on Formal Methods . LOPSTR 2019 =E2=80=93 29th International Symposium on Logic-Based Progra= m Synthesis and Transformation . MPC 2019 =E2=80=93 13th International Conference on Mathematics of Progr= am Construction . PPDP 2019 =E2=80=93 21st International Symposium on Principles and Pract= ice of Declarative Programming . RV 2019 =E2=80=93 19th International Conference on Runtime Verification . SAS 2019 =E2=80=93 26th International Static Analysis Symposium . TAP 2019 =E2=80=93 13th International Conference on Tests and Proofs . UTP 2019 =E2=80=93 7th International Symposium on Unifying Theories of Programming . VECoS 2019 =E2=80=93 13th International Conference on Verification and Evaluation of Computer and Communication Systems . AFFORD 2019 =E2=80=93 Practical Formal Verification for Software Dependability . DALI 2019 =E2=80=93 2nd Workshop on Dynamic Logic: New Trends and Applications . DataMod 2019 =E2=80=93 8th International Symposium =E2=80=9CFrom Data to= Models and Back (DataMod)=E2=80=9D . FMAS 2019 =E2=80=93 Formal Methods for Autonomous Systems . FMBC 2019 =E2=80=93 Workshop on Formal Methods for Blockchains . FMIS 2019 =E2=80=93 8th Formal Methods for Interactive Systems Workshop . FMTea 2019 =E2=80=93 Formal Methods Teaching Workshop and Tutorial . F-IDE 2019 =E2=80=93 5th Workshop on Formal Integrated Development Environment . HFM 2019 =E2=80=93 History of Formal Methods . NSAD 2019 =E2=80=93 8th International Workshop on Numerical and Symbolic Abstract Domains . OpenCERT 2019 =E2=80=93 9th Int. Workshop on Open Community approaches t= o Education, Research and Technology . OVT 2019 =E2=80=93 17th Overture Workshop . REFINE 2019 =E2=80=93 19th Refinement Workshop . RPLA 2019 =E2=80=93 Reversibility in Programming, Languages, and Automat= a . SASB 2019 =E2=80=93 10th International Workshop on Static Analysis and Systems Biology . TAPAS 2019 =E2=80=93 10th Workshop on Tools for Automatic Program Analys= is . ALLOY =E2=80=93 Formal software design with Alloy and Electrum (Tutorial= ) . CbC =E2=80=93 The Correctness by Construction Approach to Programming (Tutorial) . FM4BioMed =E2=80=93 Formal Methods for BioMedicine (Tutorial) . FRAMA-C-IoT =E2=80=93 Formal Verification of IoT Software with Frama-C (Tutorial) . KEYMAERA X =E2=80=93 Modular Formal Verification of Cyber-Physical Syste= ms with KeYmaera X (Tutorial) . MLFV =E2=80=93 ML + FV =3D =E2=99=A5? A Gentle Introduction to the use o= f Machine Learning within Formal Verification Tools (Tutorial) . SRV =E2=80=93 Stream-based Runtime Verification (Tutorial) As a whole, the FM'19 congress will bring together a distinguished group of 40+ world-top guest speakers whose short bios can be found at=20 https://bit.ly/2Io2Lsh. The FM'19 organizers thank all corporations that have been so kind to sponsor the Congress =E2=80=93 please see the 'Sponsor FM'19' gallery at= =20 https://bit.ly/2CrKnMA. For more information, please visit the following pages of the FM'19 website: . FM Week - https://bit.ly/2zsyCUu . Accepted papers - https://bit.ly/2YtIp9Y (updated as data arrive from event chairs; currently: 344 papers involving 750 authors) . Call for participation - https://bit.ly/2JfdBjO . Registration page - https://bit.ly/2NTR9SR . Venue - https://bit.ly/2MdNCMu . Accommodation - https://bit.ly/2OuHXEu . Getting to Porto - https://bit.ly/2ykguKN . Social program - https://bit.ly/2JfdBjO . Weather forecast - https://bit.ly/2SLOKZ5 (or https://bit.ly/2YjeEo3 for more details) Contact: contactfm2019@inesctec.pt We are also on Twitter: @formalmethods19 _____________________________________________________________ *** Welcome to FM'19 *** *** Welcome to PORTO *** *** Welcome to Portugal *** ______________________________________________________________