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 254DE5D6 for ; Sat, 27 Jul 2019 20:19:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,315,1559512800"; d="scan'208";a="393565728" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Jul 2019 22:19:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3928782716; Sat, 27 Jul 2019 22:19:30 +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 2493882706; Sat, 27 Jul 2019 22:16:34 +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-wr1-f68.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AFsrqYBa4XVMZ+CgcnQfqtBn/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsu8bnLW6fgltlLVR4KTs6sC17OM9fC+EjVcsd6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMhm6twbcu8gZjYd/Jas8yQbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFOBZ6y?= =?us-ascii?q?b5YUD+oZI+lXs5X9qVUJrRu7HwasBeXvwSJMinL52aA21uIsHgba0QEuA94CrW?= =?us-ascii?q?3YoMnoOKwPVey50anFwTDFYvhL2zny9ZLIfwgir/+RXbx+b8TfxlUhGAzKgVud?= =?us-ascii?q?spDlMjCP2+gRr2SW9ehtWOSygGAnsQFxpT2vy98qiobXmIIV0E7L9SNjz4YpIt?= =?us-ascii?q?21U0F7Ydu+H5tRsyGWLZd5QsQnQ2xupS00xLoGuZuhcygLzpQq3wXQa/2bc4SS?= =?us-ascii?q?5hLiVP6dITZ+hH17Y7Kwmwqy/la8xeHmTsm0zFBHpTdGnNnUrn0ByQDf58ydRv?= =?us-ascii?q?Z+/kqtwyiD2x7O5u1eIE05lrLXJ4A9zrIsi5YetEfOETXqlEjzkqCbeF8r9+qt?= =?us-ascii?q?5uv7ZrjquoKQOop2hw7iMqkjm8myDv42MgQQUWiW/OWx2bPt8ED4RbhFlOE5n6?= =?us-ascii?q?fEv53cOM8VvLS2AxVP3YYm8xu/Dymp0NAfnXQfKVJKYhOHj4zwN1DAOvD0EO6z?= =?us-ascii?q?g1qtnTpo3fzGMbrhApLCLnjHjrjtZ6py60lZyAYrzNBf4YxbCq0ZLf7tRkP8sM?= =?us-ascii?q?bUAxw5PgCu3errFshx2pkfVG+MGqOZNbndsV6M5uIhOemMY4oVtS77K/c7+f7u?= =?us-ascii?q?l2E2mVkHcqm12psac3+4HvF8LEWYZXrgmMsOEWAPvgYmVuzllEWCUSJPZ3a1R6?= =?us-ascii?q?8z+is0CIeiDYvaQoCtgaeB3DugE51NZmFGD0iMHm3ye4WFXfcMciOSLdV7njwK?= =?us-ascii?q?T7irU5Uh2g22tA/m17pnKfLZ9TEftZL6zdR6++nTlQwp+jFvFMSc02SNT3lukW?= =?us-ascii?q?8SRj822rp/oU1nxVuZ36h4ma8QKdsG3f5PWxs9fbjR0eFhQ4T0Vxzbc9GAVFGO?= =?us-ascii?q?TdCvADV3RdU0lYwgeUF4TtOvkArO2SO2BJcakrWKANo/9aePjDDKO89hxiOeh+?= =?us-ascii?q?EahF48T54KbjP/1/xPsjPLDouMqH230qOjdKASxinIrT7Rwm+HvUUeWwl1A/yc?= =?us-ascii?q?ACIvI3DOpNG83XvsCr+jDbN9b1lEwM+Gb7RQM5jn0wUAS/DkN9DTJWm2njXoXE?= =?us-ascii?q?ra9va3dIPvPl4l8mDFEkFdylIc+H+HMU41ASLz+28=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DqDgBBsDxdZ0TdVdFmg10pKm1SSBSEH?= =?us-ascii?q?oN7jRuLan6NQ3mBZwkBAwEKAQEFGgoEAgEBgUuCcQKCZhsHAQQ0EwEDAQEEAQE?= =?us-ascii?q?CAQMDARMLCwsGKYUnDII6KYMLBg8BDQEbDAUNAxIQAwwCJgIlEQEFASITFAKCQ?= =?us-ascii?q?UyBaQEDHQEOmzODHzyLIYEVBQEXHYJeBYEzAYEVgXMKGScNYhOBKQIHCQEIeii?= =?us-ascii?q?JG4JFF4F/gRABgmSCLYEgAoElg0eCWASMExgInkQJiBlejTkbgi6HJYNUimeEF?= =?us-ascii?q?IwEhG2QDAIKBwYPIYFGgXlwgQGCOwkWhhSDcYFwhHM+MxkBaz6NMwEB?= X-IPAS-Result: =?us-ascii?q?A0DqDgBBsDxdZ0TdVdFmg10pKm1SSBSEHoN7jRuLan6NQ3m?= =?us-ascii?q?BZwkBAwEKAQEFGgoEAgEBgUuCcQKCZhsHAQQ0EwEDAQEEAQECAQMDARMLCwsGK?= =?us-ascii?q?YUnDII6KYMLBg8BDQEbDAUNAxIQAwwCJgIlEQEFASITFAKCQUyBaQEDHQEOmzO?= =?us-ascii?q?DHzyLIYEVBQEXHYJeBYEzAYEVgXMKGScNYhOBKQIHCQEIeiiJG4JFF4F/gRABg?= =?us-ascii?q?mSCLYEgAoElg0eCWASMExgInkQJiBlejTkbgi6HJYNUimeEFIwEhG2QDAIKBwY?= =?us-ascii?q?PIYFGgXlwgQGCOwkWhhSDcYFwhHM+MxkBaz6NMwEB?= X-IronPort-AV: E=Sophos;i="5.64,315,1559512800"; d="scan'208";a="393565634" X-MGA-submission: =?us-ascii?q?MDE620JyEokzMOtWX5P6mkaW4CfXCsf0MM/drC?= =?us-ascii?q?SYJHomZoZ4fSOHMdEcQjSQUUcPBJX4L4GphvCtZ9F1W9wplSte2ShzlM?= =?us-ascii?q?/sbUjkYPNm/+fgrx0wUKCas6mRcOftYlvk18q7xnbBHrkY55FCQnjLaN?= =?us-ascii?q?p1mmf7PNHuSfTXrJMs1sIu6Q=3D=3D?= Received: from mail-wr1-f68.google.com ([209.85.221.68]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Jul 2019 22:16:32 +0200 Received: by mail-wr1-f68.google.com with SMTP id x4so4584654wrt.6; Sat, 27 Jul 2019 13:16:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:subject:from:to:date:user-agent:mime-version :content-transfer-encoding; bh=YdiL8dWokpbZ01PDOJPThatS+Uszi+DU3oBpgUzP6Rc=; b=Svt7H9bDka0S4m32Ek1tpW4kmojkqgFUq2Ho/FYO3Lp4lNnWMy3Gq4xY12/6L2sZlq GR/HxSlE664Ezku6dMRP7Ab16cvKN9uBF8wg6+lECD0Vowh4h2uGn8wlrppH3D0moTXY xJoQaePLYVDEabOfLSG9e05uTxdGPo6byZUpmqSWyIdHtGUsDwFNI9J+yi/RKQ+U+l8y f22YvDWCBY4KouQJvZ4nQwYf9zNVvnLsiI+QdlHEgkm+xv8n8DiYwN3gh/uyonLve28R vZRxjtDL1OwV93PcAYt+UWX7AICTWJVJUT8mlMDJzRbBr+aK8pDU3ZJ41KuTjL68nH55 Y+OA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:subject:from:to:date:user-agent :mime-version:content-transfer-encoding; bh=YdiL8dWokpbZ01PDOJPThatS+Uszi+DU3oBpgUzP6Rc=; b=cDOky7bz74YkCb1ZiukfZ2wTTaBKIM3Uube9kUoKGNFzMF6bLW8z/7mgUQT6Dkelkt 9y2ksMVrafguMbVbzf71in8EBllhNkjowsTzYD0Ck3dserzIU+kp3+lH+EG8oJBsRA8t XYw1ppMKos8dTp2wk6onP4PkWNScTwo229l+nvXgXR6Q4U+4qO/e/lIWnrTwvFzokmkK 4Zhtf6DIo7/go/JSUdrpL4F8wuCP/HJ8JDBjATKTLOdbruULgWtno/weX8kQAx3EuWvd EGzT/ZC0HzMXs3OV1uE7plp3oJE07rNfWv1ChLt5S3bvvQfYXZs+46LzYtc9jgpYCSAO Raeg== X-Gm-Message-State: APjAAAUk/6YHFGkzK3iUkRuVbwoNgsvJAC7sit/OlbbMSR+jvgyD4ww6 yMHOsUGzJ+BsH/N+VCZeYzO5UcVs16dkrg== X-Google-Smtp-Source: APXvYqyJu47fkls/BaQN2c8g2oVXv/ZH1cLMGqviRFqJj3XjHMAQvnkY1pVe9I/7+O/9kcAIMpqymQ== X-Received: by 2002:adf:b612:: with SMTP id f18mr99463714wre.97.1564258592151; Sat, 27 Jul 2019 13:16:32 -0700 (PDT) Received: from localhost.localdomain ([2001:8a0:e3a7:c901:7c56:af2f:6336:ac3d]) by smtp.gmail.com with ESMTPSA id l8sm108412459wrg.40.2019.07.27.13.16.28 (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Sat, 27 Jul 2019 13:16:31 -0700 (PDT) Message-ID: From: nevrenato@gmail.com To: Renato Neves Date: Sat, 27 Jul 2019 21:16:27 +0100 Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.30.3 (3.30.3-1.fc29) Mime-Version: 1.0 Content-Transfer-Encoding: 8bit X-Validation-by: nevrenato@gmail.com Subject: [Caml-list] Formal Methods 2019 - Call for Participation Reply-To: nevrenato@gmail.com X-Loop: caml-list@inria.fr X-Sequence: 17718 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: # FM'19 - Call for Participation 3rd World Congress on Formal Methods Porto, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ @formalmethods19 ______________________________________________________________ *** Apologies for cross-posting *** ______________________________________________________________ The FM'19 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 – until Sep 10 (AoE) . Late – from Sep 11 until 5 Oct (AoE) . On site – 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 – 23rd International Symposium on Formal Methods . LOPSTR 2019 – 29th International Symposium on Logic-Based Program Synthesis and Transformation . MPC 2019 – 13th International Conference on Mathematics of Program Construction . PPDP 2019 – 21st International Symposium on Principles and Practice of Declarative Programming . RV 2019 – 19th International Conference on Runtime Verification . SAS 2019 – 26th International Static Analysis Symposium . TAP 2019 – 13th International Conference on Tests and Proofs . UTP 2019 – 7th International Symposium on Unifying Theories of Programming . VECoS 2019 – 13th International Conference on Verification and Evaluation of Computer and Communication Systems . AFFORD 2019 – Practical Formal Verification for Software Dependability . DALI 2019 – 2nd Workshop on Dynamic Logic: New Trends and Applications . DataMod 2019 – 8th International Symposium “From Data to Models and Back (DataMod)” . FMAS 2019 – Formal Methods for Autonomous Systems . FMBC 2019 – Workshop on Formal Methods for Blockchains . FMIS 2019 – 8th Formal Methods for Interactive Systems Workshop . FMTea 2019 – Formal Methods Teaching Workshop and Tutorial . F-IDE 2019 – 5th Workshop on Formal Integrated Development Environment . HFM 2019 – History of Formal Methods . NSAD 2019 – 8th International Workshop on Numerical and Symbolic Abstract Domains . OpenCERT 2019 – 9th Int. Workshop on Open Community approaches to Education, Research and Technology . OVT 2019 – 17th Overture Workshop . REFINE 2019 – 19th Refinement Workshop . RPLA 2019 – Reversibility in Programming, Languages, and Automata . SASB 2019 – 10th International Workshop on Static Analysis and Systems Biology . TAPAS 2019 – 10th Workshop on Tools for Automatic Program Analysis . ALLOY – Formal software design with Alloy and Electrum (Tutorial) . CbC – The Correctness by Construction Approach to Programming (Tutorial) . FM4BioMed – Formal Methods for BioMedicine (Tutorial) . FRAMA-C-IoT – Formal Verification of IoT Software with Frama-C (Tutorial) . KEYMAERA X – Modular Formal Verification of Cyber-Physical Systems with KeYmaera X (Tutorial) . MLFV – ML + FV = ♥? A Gentle Introduction to the use of Machine Learning within Formal Verification Tools (Tutorial) . SRV – 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 https://bit.ly/2Io2Lsh. The FM'19 organizers thank all corporations that have been so kind to sponsor the Congress – please see the 'Sponsor FM'19' gallery at 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 arrives from event chairs) . 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 *** ______________________________________________________________