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 ESMTP id D4DE35D5 for ; Wed, 25 Sep 2019 22:10:51 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,549,1559512800"; d="scan'208";a="403400019" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Sep 2019 00:10:50 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8ABFC7F216; Thu, 26 Sep 2019 00:10:50 +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 28FED7EFA1; Thu, 26 Sep 2019 00:06:07 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nevrenato@gmail.com; spf=Pass smtp.mailfrom=nevrenato@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f68.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AJcWxDR/QuE5Otv9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?1+IcTK2v8tzYMVDF4r011RmVBN6dsKkP07aempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffgtFiCCzbL58Ixm6sQrcvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6KhlVQLoiD?= =?us-ascii?q?wfNzEn7G7XlsJ+jKVeoB27phx/xZPfbIWaOfd6e6/Qe84RS2hcUcZLTyFPAYOy?= =?us-ascii?q?YZUBD+UdMulWsofzqFUBoxalGQmsHfnixiNUinLs36A31fkqHwHc3AwnGtIDqG?= =?us-ascii?q?jao8vzNKgITeC1y7TDwy3dYPNIxzj985XDfxcnof6SQ7Jwa9TeyU81GAPZiVWd?= =?us-ascii?q?soPlPzaP2eQMt2iX9fZvVeWqi2M+rQx6vzahxsApiobTh4IVzEjJ+j54wIYpP9?= =?us-ascii?q?G4TE56bcalEJtWqS6aLJd5Qt88TG50oio60qEGtJimdyYJ0JQq3wDTZ+CDfoSS?= =?us-ascii?q?4R/uVPydLSpmiH9mYr6yhhW//VC+xuHgSsW4zVNHoylfndXQs30CyRLe5dKFR/?= =?us-ascii?q?Z44kis3SqD2x3W5+xGPU85lavWJps7zb4+iJYTv0HOEy74lUj4jaKbc18r9fSm?= =?us-ascii?q?5uv6ZLjtu4WSOJVuig7kN6Qjgsy/Dvo8MggJR2Wb/P6z1Lzn/UHgTrRKi+A6nr?= =?us-ascii?q?DXsJ3bJskXvKG5AwhS0oYs7xawES2q38gfnXkCNF5FeRSHgJb1O1zWPvz0EfOy?= =?us-ascii?q?j06vnTpr3fzKI6PtD5bXInXCk7rtZbN95FRdyAo3w9Bf/ZVUCrQZLfL1REDxqs?= =?us-ascii?q?bYAQE/MwOu3+bnD85w1owbWW2VA6+ZNLnevkOP5uIqO+WMfpMauC7hK/g54P7j?= =?us-ascii?q?lWM2lkUYfamtxJcXbHG4Hu96I0iCenrtgtIBEX8QsQYkTezqjkeCUT9JaHqoUa?= =?us-ascii?q?I8/CkxCJi6AofbWoCtnLuB0T+nEZ1Rf2BKE0yDEXP1d4qfQPoMcyKTIsp5kjMe?= =?us-ascii?q?T7ShSokh1QuvtADg0bZnIPDUqWUkssfHydlur8fajxs17jU8W8CG2UmBTidpm2?= =?us-ascii?q?IORzhwxLwp8mJnzVLW66V+iuBfXfpe+f5SGlM8OIDGwupzF9faVQfIf9PPQ1Gj?= =?us-ascii?q?FIb1SQotR848loddK312HM+v20yShnv4M/ouj7WOQacM3OfZ1nn1Kdx6zi+fhq?= =?us-ascii?q?YkhlgiBMBIMD//3/Mtx03oH4fM1n6hueOqeKAbhnOf8W6CyS+RuRgdXlAgF6rC?= =?us-ascii?q?Wn8baw3dqtGrvhqeHY/rMqwuN0568eDHMrFDM4S7glBPRfOlM9PbMTq8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AZCQBu44tdf0SAVdFlg2kpgRdUW4Qij?= =?us-ascii?q?xCLfX6NUXmBZwkBAwEKAQEfCgQCAQGBS4JwAoMuGwcBBDQTAgwBAQQBAQECAQI?= =?us-ascii?q?DBAETAQEJCwsIJ4U2DII6DIMFBhILBh0BGwwSAwwGEAMMAiYCAiMRAQUBHAYTF?= =?us-ascii?q?AIECII1TIFpAQMdAQ6jQYEDPIskgRUFARcdgmEFgTQBgRWBegoZJw1mgTwCBwk?= =?us-ascii?q?BCHoojAwYgX+BEAGFEYEgAoElg0eCWASMXxgIoBFGgWaCLoN1Yo4FG4I2h0uDb?= =?us-ascii?q?4s7hDOMXYUekQICCgcGDyOBRoF5MxojgQGCOwkWMRAUhUCDcYFwhHNAMhkBaz6?= =?us-ascii?q?NOQEB?= X-IPAS-Result: =?us-ascii?q?A0AZCQBu44tdf0SAVdFlg2kpgRdUW4QijxCLfX6NUXmBZwk?= =?us-ascii?q?BAwEKAQEfCgQCAQGBS4JwAoMuGwcBBDQTAgwBAQQBAQECAQIDBAETAQEJCwsIJ?= =?us-ascii?q?4U2DII6DIMFBhILBh0BGwwSAwwGEAMMAiYCAiMRAQUBHAYTFAIECII1TIFpAQM?= =?us-ascii?q?dAQ6jQYEDPIskgRUFARcdgmEFgTQBgRWBegoZJw1mgTwCBwkBCHoojAwYgX+BE?= =?us-ascii?q?AGFEYEgAoElg0eCWASMXxgIoBFGgWaCLoN1Yo4FG4I2h0uDb4s7hDOMXYUekQI?= =?us-ascii?q?CCgcGDyOBRoF5MxojgQGCOwkWMRAUhUCDcYFwhHNAMhkBaz6NOQEB?= X-IronPort-AV: E=Sophos;i="5.64,549,1559512800"; d="scan'208";a="403399812" X-MGA-submission: =?us-ascii?q?MDGE8rqvUqzBrxeiX3UVni5OGN6lPy/uAo3vNq?= =?us-ascii?q?vUVwKhnqbJnNX/0WbFCf1bVlpNAbjtqq8Wl7NKEaPqN0DSN48lwMAF4N?= =?us-ascii?q?j1GsL7bRBtYwhDFgCyfYbwO04AOcu6CemZnju8KnSI7sOlLyd6davuoz?= =?us-ascii?q?Q7Jait3Db74/g0AjJCyyjlyQ=3D=3D?= Received: from mail-wm1-f68.google.com ([209.85.128.68]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Sep 2019 00:06:05 +0200 Received: by mail-wm1-f68.google.com with SMTP id i16so344371wmd.3; Wed, 25 Sep 2019 15:06:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:from:to:references:mime-version:subject:resent-from :resent-to:resent-bcc:date:user-agent:content-transfer-encoding; bh=v9vswJqrav+Syq1sokTAJqemrdf6kltLrn/yCIkfNkw=; b=PtiVPBy4KB5WAHJZp8X0Xs2AXQHcyNGtvnzdVEC3GYR+rOVGtN4aKy2PPD4ytMsxPR wbVQ7j2+vyTbJsIFpkrtuKzIRGIPo92dsYpxVisEoC0jTZbbx4PnilV+poFR3J4FJPEC HHttmbsF4BSQC+bdP6RV+fTC8dUhGhTpkariLd+/r2sxl2qz53Y060fbDNYTasHbi+wo YHMpPUwbqQDdoW5pPX56uSVYSuQAq8vSjdw+VR0aHwetsk5w+B2nE3BZXApBsvpkeSXa anJkpa+n9KS4/TbJ3z+OXMhfGia3yYsAeJVZInebtqDHTDWFBEhly3djHflHwhkugR6G lOsA== 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:references:mime-version :subject:resent-from:resent-to:resent-bcc:date:user-agent :content-transfer-encoding; bh=v9vswJqrav+Syq1sokTAJqemrdf6kltLrn/yCIkfNkw=; b=o6YsgO2kfT0wsMLxdEAst94XslOpFW1+4wgvNyMnqfm15dm0pXZ3aeX5flcTg03zgx Q02EGw+ETw1Bprc3H12hLCqpz2tn0pdemcdkb20Fu1m2KtV5/wHHYiOIokIWyBwzJunJ 61RiBloUWiRxEI/VGImgzqF8nT4zVTbcprgolzdYLEmxH3Wl/tMqMgsyGUzUaNZeU2AE qaq5BL+20bMzL5mFYmuOqeBWLvnUxECz+O3zXVX4b/scpuYfBNQNc+cRcFsp5onm7qyE hiHkoBqssdaXcZo0UBJzKG/FGEq03tUU6TNj8ITHbPSnK5P4X1pYGdEfacK4XN3orKXO 0rRA== X-Gm-Message-State: APjAAAX6Bw+j7F+O1UNhTc7cmPg1hD7W70HM/yiqdPxY4de123VJNuue XL7z7ont/7/6pbTS7WBWs7A= X-Google-Smtp-Source: APXvYqyf6zB30emNLw0ndUcux2qlgvmPe3D1ohvVvFWQ2S7OvyzuTmDjCBwXGwdoDPF9S3KM1An+lA== X-Received: by 2002:a1c:9c51:: with SMTP id f78mr276367wme.144.1569449164774; Wed, 25 Sep 2019 15:06:04 -0700 (PDT) Received: from localhost.localdomain ([2001:8a0:e3a7:c901:7c56:af2f:6336:ac3d]) by smtp.gmail.com with ESMTPSA id l10sm583758wrh.20.2019.09.25.15.06.01 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 25 Sep 2019 15:06:03 -0700 (PDT) Received: from localhost.localdomain ([2001:8a0:e3a7:c901:7c56:af2f:6336:ac3d]) by smtp.gmail.com with ESMTPSA id j26sm249786wrd.2.2019.09.25.13.14.12 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 25 Sep 2019 13:14:13 -0700 (PDT) Message-ID: <5577d11c2ef318f93d06244e54a4e5761dc887cd.camel@gmail.com> From: Renato Neves To: Luis Barbosa References: <000309a86710b559fd51f7fe4b1de56f9aa06e42.camel@gmail.com> Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 Resent-From: Renato Neves Resent-To: Renato Neves Date: Wed, 25 Sep 2019 23:06:00 +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 - Last call for participation Reply-To: Renato Neves X-Loop: caml-list@inria.fr X-Sequence: 17823 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: <20190925221050.8ABFC7F216@sympa.inria.fr> Resent-Date: Thu, 26 Sep 2019 00:10:50 +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) . 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) . 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 *** ______________________________________________________________