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 534BE5D5 for ; Mon, 5 Jul 2021 21:01:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,326,1616454000"; d="scan'208";a="518425023" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jul 2021 23:01:46 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2F2D7E0036; Mon, 5 Jul 2021 23:01:46 +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 BB8FBE0035; Mon, 5 Jul 2021 23:01:43 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bruno.bernardo@tutanota.com; spf=Pass smtp.mailfrom=bruno.bernardo@tutanota.com; spf=Pass smtp.helo=postmaster@w1.tutanota.de IronPort-PHdr: =?us-ascii?q?A9a23=3AYKl03h8njYpqxf9uWcC6ngc9DxPPW53KNwIYoqA?= =?us-ascii?q?ql6hJOvz6uci7bQqEuqkm3ASBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg?= =?us-ascii?q?94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZ?= =?us-ascii?q?oKujvFYPeksC62/q89pDRbAhEizmwbL1vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe?= =?us-ascii?q?+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgf?= =?us-ascii?q?MQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/ok?= =?us-ascii?q?CYHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWRPUMZPWSJCH42?= =?us-ascii?q?zYJcAAeUaMOZErYTwvUcCoQeiCQSuAu7k1z9GhmXx3a0/y+ksDBvG3BEmH9IJr?= =?us-ascii?q?X/Zscv6NL0UUe+v1qnH0DLDZO5R1Djm8ojIbxYhofaWUb1rb8XR008vGBnfjlq?= =?us-ascii?q?NrozoJC+V1vkRs2eB6epgUv6vhHQ9pw5tpTivw94hh4/UjY0a1l7K7z92wJopJ?= =?us-ascii?q?dKmUk57Z8apHZpeuS+VKYd6XM0vTn9ntig617ELu5G1cSwKxpklxBPSa/yJfoy?= =?us-ascii?q?J7xztSOucLjZ1in1kdb++hhu+7Uytx/P4W8SyzV1EoC1FktzWuXAM0Rze8seHS?= =?us-ascii?q?vph/kelwzmAzBrf6uBDIUwslKrXMoIuzaQulpYJtkTDBCD2lUPrh6GVbkUp4uu?= =?us-ascii?q?l5/n9brjovJORNpV4hhz/P6gwnMG0HP42PRIUX2eB/OSxzL3j8lP9QLVNlvA3n?= =?us-ascii?q?LTVvIrGJcQGuq62GQlV0oE/6xmlFTupzcoXkWEGLFJDZh2Hk5DkNlLTLPziA/q?= =?us-ascii?q?zmVWhnC12y/3HILHtGpDNIWLCkLflc7Z98UlcyA8rwN9E/ZJUF7cBIPXpVkDqq?= =?us-ascii?q?tPYFBk5PBauw+n6D9VwzZ8eWX+TAqCDNqPStkOI6fg1L+aQY48VvS7xK+I56P7?= =?us-ascii?q?2kX85hVgdcLG10pQNbXC4Gu1qI0GYYXr3ntcMCnwKvwo7TOzyklKOSz9TZ3CoX?= =?us-ascii?q?6I9/D43EoymDZ3bTIC3nLOBxDu7HoFRZm1eFl+MFm7oe5yYVPcIdSKdOdRskic?= =?us-ascii?q?EVLikU48uzwuitA78y7p9L+rb4DcUtZz51Is92+qGvBo2r3QgBs+ZiUmQU2V1h?= =?us-ascii?q?X8TASIq0bB2ugpwxkrVleBRjPBRXYha6P9AegM7LoLHied6AtT3VxjaOMyEHhL?= =?us-ascii?q?uadK/SRo1U9h5l9QJegN2H8iophHFxSujRbEPwfjDKoco+7iU9HzsLY4pxW3a3?= =?us-ascii?q?bNkhF07SONLNHa6nehw+Q/JCIOPkkODlq/se75KmGbt/XyAwG6K9GpRXgM4BaX?= =?us-ascii?q?MRnMSYk+Tpt3362vCRqStBLAjdAxbxpjGYotNbpXIi1tBDKPjP9CbYmS/nE+0B?= =?us-ascii?q?A2U3fWXa5fwcGgT2z/SBQ4CnhxFuT66JBAzHW+IpWTZETplGBq7f1L0/PI7oXW?= =?us-ascii?q?9SVIyxAyia0x6y6Hz4RMcnrqBU/4V2PQJtDp3731KFUyx3pryCsGc715/db9QY?= =?us-ascii?q?JY54Uxb/WfQtgh4N5rmNaFpixgTfxkh+wvL3gh7B819isUwtzt+yQNvJa/dzUh?= =?us-ascii?q?MbSiw2ZHrJqaRIXK0/RSraqjR20qY3dqLrONHw/09rx3HvRq1Xh4p+nBjlt1Uy?= =?us-ascii?q?Ge055PQDQNUX4inAWgt8B0vjavHZC51zY7O03R2Pa785jXYxtQuQuEo0BCpZdt?= =?us-ascii?q?YGL+ZCAb0FNETQcOpLbp5yBCSchsYMbUKp+YPNMS8eq7DgfbzVA6PtC67kW1B5?= =?us-ascii?q?5x0lEmL8nglIgYp94lche2FwgKBUCv1ylus4JmfcWVseSwOF2y41SGiD4lUNPU?= =?us-ascii?q?aQA=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AOoBVdaies4MBxIu5Xm/dF87OlnBQXsEji2hC?= =?us-ascii?q?6mlwRA09TyX+rbHNoB17726WtN91YhsdcL+7VZVoLUmxyXcX2+ks1NWZMjUO0V?= =?us-ascii?q?HAROpfBODZogEIdReQytJg?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A4AQAQcuNgh6IGA1FQCg57gVmDIlYBO?= =?us-ascii?q?jGESI8OAYJHiRWOR4N8gXwLAQMBDTUMBAEBhSYBBIIaAh4GAQQyBw4CBBUBAQU?= =?us-ascii?q?BAQECAQMDBAETAQEBAQ0LCQgpGoU7BSgNgiUTKQGEBwYdAQEmEjQCJgISTQGDA?= =?us-ascii?q?wGDCwEKp0OBDCaBAYIHAQEGgT0BhEqBWgmBECqJcIIVgWMpEIFVRIEVhGeBUws?= =?us-ascii?q?DgTIEg0CCZIJ9TmofAQETPCwVQY8kgyUIjUOIf5QyLAeDJIEsBguCIYRegWmUL?= =?us-ascii?q?INii0aGA5EAhm2PC4hxgzqGYJIVgi4BggxNI1CCaQlHGQ5Wh3WFawKDV4JkgjC?= =?us-ascii?q?FBQgBPj8DLwI2AgYKAQEDCYdfgkcBAQ?= X-IPAS-Result: =?us-ascii?q?A0A4AQAQcuNgh6IGA1FQCg57gVmDIlYBOjGESI8OAYJHiRW?= =?us-ascii?q?OR4N8gXwLAQMBDTUMBAEBhSYBBIIaAh4GAQQyBw4CBBUBAQUBAQECAQMDBAETA?= =?us-ascii?q?QEBAQ0LCQgpGoU7BSgNgiUTKQGEBwYdAQEmEjQCJgISTQGDAwGDCwEKp0OBDCa?= =?us-ascii?q?BAYIHAQEGgT0BhEqBWgmBECqJcIIVgWMpEIFVRIEVhGeBUwsDgTIEg0CCZIJ9T?= =?us-ascii?q?mofAQETPCwVQY8kgyUIjUOIf5QyLAeDJIEsBguCIYRegWmULINii0aGA5EAhm2?= =?us-ascii?q?PC4hxgzqGYJIVgi4BggxNI1CCaQlHGQ5Wh3WFawKDV4JkgjCFBQgBPj8DLwI2A?= =?us-ascii?q?gYKAQEDCYdfgkcBAQ?= X-IronPort-AV: E=Sophos;i="5.83,326,1616454000"; d="scan'208";a="518424996" X-MGA-submission: =?us-ascii?q?MDFWTcJ/OCFLYJ86+kVxUs9rzpN2LQhzwV55Mx?= =?us-ascii?q?mY7o67ahc+VJmyEku/7KErq/X5HOGR+Dr20bPUB4/xCEqKKWExLDuRwc?= =?us-ascii?q?ljQ4dqcRKFw6GMpdx1M1752RWgcNG8AAJNXRLRaB6IziFMa1NrhTNlPJ?= =?us-ascii?q?KSjqcQ5cNx4azLP6prqrSYww=3D=3D?= Received: from w1.tutanota.de ([81.3.6.162]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Jul 2021 23:01:42 +0200 Received: from w3.tutanota.de (unknown [192.168.1.164]) by w1.tutanota.de (Postfix) with ESMTP id 1F233FBF569; Mon, 5 Jul 2021 21:01:42 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1625518902; s=s1; d=tutanota.com; h=From:From:To:To:Subject:Subject:Content-Description:Content-ID:Content-Type:Content-Type:Content-Transfer-Encoding:Content-Transfer-Encoding:Cc:Date:Date:In-Reply-To:MIME-Version:MIME-Version:Message-ID:Message-ID:Reply-To:References:Sender; bh=/fN7ldHnf+b2/DcBFUO+WVlBmqufm63W9RSjpksbb2Q=; b=yqBMHU0HAPYjJY88ipczFFPo/wWeo4cuFXp4nZz9qnwOE64yulALFEDj9IJcLKkf yz69VAtzVedofYWGV3iC9siKYLoEmXr2DPxLnNFi0s0UevQBdIhDB3GgPhRi+gakvI9 lPA4oWuhEna3zcmf3rzKwP2nDl0AxK/oFeloKkmGOT5UCNqB+GMQURRUMr7Bf1+H6Kh Cv3aNb2elQsMf9vUOlnnJGTLzD5I5XNKxFiv1mapU/IfGBvMTBJcAZvKWEpCbTpZRi0 kp+U1wsmIZRffD3+Sdiy8eieuc5nBgGStd/Yz/gZBiZAT9oPpwRlc5NmXCFKxML/vXq 7i+U+FKm6w== Date: Mon, 5 Jul 2021 23:01:42 +0200 (CEST) From: Bruno Bernardo To: Acl2 , Agda , Coq Club , Fstar Club , Haskell Cafe , Hol Info , Types Announce , Vardi List , Maude Users , Caml List Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] FMBC 2021 - Call for Participation Reply-To: Bruno Bernardo X-Loop: caml-list@inria.fr X-Sequence: 18537 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: [ Please distribute, apologies for multiple postings. ] ======================================================================== 3rd International Workshop on Formal Methods for Blockchains (FMBC) 2021 - Call for Participation https://fmbc.gitlab.io/2021 July 18 and 19, 2021, Online, 8AM-10AM PDT Co-located with the 33rd International Conference on Computer-Aided Verification (CAV 2021) http://i-cav.org/2021/ --------------------------------------------------------- The FMBC workshop is a forum to identify theoretical and practical approaches of formal methods for Blockchain technology. Topics include, but are not limited to: * Formal models of Blockchain applications or concepts * Formal methods for consensus protocols * Formal methods for Blockchain-specific cryptographic primitives or protocols * Design and implementation of Smart Contract languages * Verification of Smart Contracts The list of lightning talks and conditionally accepted papers is available on the FMBC 2021 website: https://fmbc.gitlab.io/2021/program.html There will be one keynote by David Dill, Lead Researcher on Blockchain at Novi/Facebook and professor emeritus at Stanford University, USA. Registration Registration to FMBC 2021 is done through the CAV 2021 registration form: http://i-cav.org/2021/attending/ (*Early bird deadline is July 9.*)