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 87B585D5 for ; Wed, 4 May 2022 13:29:59 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:cc:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=upWxbuLOLPdYxiiyKTQUsPG2a0W8F37dWFQiRvM9okU=; b=G+h8hxj7XPV3pWv4J99vyNdKeXaHk4lvWPHmDv5lIeTbsQx7cLsCNE+W pEooxUVt/vNdVc2GUilltmbcz/spMosqV8INA/k2AUSNe2M1K1KfZFP7D xnFLCuje6DZPyoDhbKEpNDWA640pVLdUU3CH2ohBpJwj0/lWW9/2uUbAZ g=; 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="5.91,198,1647298800"; d="scan'208,217";a="34683603" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 May 2022 15:29:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 44BB9E0206; Wed, 4 May 2022 15:29:58 +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 99AEDE00BE for ; Wed, 4 May 2022 15:29:53 +0200 (CEST) IronPort-SDR: 9vFPeefV1h9WX2erADXykFgLfNnyQspMBWocIetkoerZ7uVsLEYQlgybaALggA5VUQC83kq+I5 1skZskJ8k7lbo6ijdAaiJZqw/2H4PYwJotdJTFZqhzsEO/jRT4hB+2nemduASXsvTPHBY8RkU9 ELenZD1RQo4Qbwy7GUUKV2cxq+SERHOidSpKrYXh2D+M2NkPI/gloDNRsDfImkkKRtDCNllY1A wbL7/6TG9WZO9doN/e22ACwXX1hkWJ9JvJPrd3GUVXEnKClyMwPpuQ1xIi58w3xaJnlUjkVpgW o1RiluM0heBOXNp3XiOypzqp X-IPAS-Result: =?us-ascii?q?A0AxCgAlf3Jif7CnVdFCDgoeARILAQyEMzNLVC4EC0OEE?= =?us-ascii?q?T2BI49ojC6DbIhOhXYDCwEDAQ03CwQBAYIOgT6BNoU4Ah0HAQQ0EwECBAEBA?= =?us-ascii?q?QEDAgMBAQEBAQEDAQEFAQEBAgEBAgQEARMBAQ0LCQcICgcODgVgAWEDAUSBT?= =?us-ascii?q?4FPJQsDMQ2CNSkBg2YQBgsGHQEbDBEBAxIDDSAQBwIkAREBBQE1CBqCXIJiA?= =?us-ascii?q?QMxD49TjxqBBEGLMoEVBReBAYIJBoFAAYMKChkoDWcDgVkCBxKBKoRLgm8BA?= =?us-ascii?q?YUcChaBZRMUHIFJRIEUATaDMoEFgV4BAQIBF4EBGAQBA1KDKYJlBJQvBRJCT?= =?us-ascii?q?kUONwETPAErHQU0CQowGAUMDQQpA5FwDxatL4EXYIJ1BYsTkVCDGjODdYZrh?= =?us-ascii?q?U+YJocdj0SCSocAg1iHFI0yE4UVECMSgUOBbgkHcFAxgjgJRQECAQEBDQECA?= =?us-ascii?q?QEDAQIBAgkBAQJUjVQMCxWDOzOCMYIwhUxCMTsCBgEKAQEDCYw8ASeCIAEB?= IronPort-PHdr: A9a23:Or0yAx96H+295v9uWWy1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqFtL4z1xeJBdydt6gezbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWijexe61+I RG5oQjQuMQdnI9uJrosxhfTrXZEZfpayXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4 L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAFkzoXKfI+aKuZxfqLFfdMbW2VBWNpRVzdcCY+4d ocDEvYNMfpdo4T7ulAArwaxBRO0CezgyjFGiHz407Ak3es9CgzJxhAsEsgUvXjIsNn4NqEfW v21wqnSyjXDautb2Dbn54nIdBAuu/GMVq9tfsXL00kvGBnKj1WOpof4OD6U1/4CsmiG4OV6T +KvhHQoqgFvrTW0yccsj5PGhoMRylze6Sp5x4M1KMS+RUVmbtGqDIFeuDuGN4tqXMwiWWdot T47x7ACuJO2cjYHxZcmyhPBZfKKfJWE7xb/WOqPIDp1hW5pdbGiihqu7EWs1OLyWtS03VtFo CRInd3Bu24C2hHQ7MWMV/Vz/kCk2TmV1gDT7PlJIU81larHL54u2KU/moASsUTEBiP2lkH2j KiKeUk65uSk9frrbq/hpp+GOI94kgD+Pr0ylcOlH+Q0KA8OX3KU+eik2rzj/E75QLRSjvIoj 6bZsYrVKd4cpq6jDA9Zypgs5AykDzamzNsYnWMILFNfeB6diIjpIV7OLOjlAviljFSsiytrx +3GPr3lGJnCM2bMnbH8drh+805R0BQ/wcxb6p5OCbwMIOj/VlLwudHaFBM1Lg65zufhBd5gz I0RQ3iPDbWcMK7KsV+H+OYvI+6UaY8Qojn9Kvwl6+fpjX84hFMRZKep0YYVZX25BPhmLEKZY X3jgtcFD2gGpBYxTOvviFGaUD5TYWi9X74k6z0lFI6rCZ3PS4OtjbCbwSu2H59banpbBl2OE Hrkb4CEVO0NaCKWLM9hiDsEVb25Ro4gzx6vtBL1xKB9Lurb4CIZtYzs2cN65+3Wjx4y9Dh0A 96B3GGKSmF4hmUISCQu06BlvUN90kuD0bR/g/FACNBf/+lJXRsiNZ7A0+x6DMj/VR7bcdeMT FaqW9GmATAqTtIt2NIOeEZ8G9C6jh/ZxSaqArkVl6aKBJMu6K7c0WLxdI5BzCPN3awlyl0nW ddnNGu8h6c5+RKAKZTOlhCLnresfKRU0CfX+26SwCLarkhJXAdqXqzUUFgQY0LXqZLy4UaUH OzmMqguLgYUkZ3KEaBNcNC8yAweHJ8LWfzbamO1wCKrAAqQg6iLdMzscnkc2yPUDA4FlRoS9 DCIL1t2HT+v9kTZCjEmDlfzewX06+ArunqqQkYuwAibYmVu0rO0/lgegvnPA+gL0Oc8sTw64 y5xAE772tvXD9SaoA80bqxNbdon715W2ErWsgV8OtqrKKUxzkUGfVFRuEXjnw5yFp0GkcUuq yYyyxFuLKuDzF5bXzaR3JS1PbyOb2ero07pZKnR1VXTlt2R/8/j8dwerFPu9EGsH0smqDB81 sVNlmCb/tPMBRYTVpT4VgA28QJ7rvfUeHt14YScznBqPaSu112Kk9s0GOsozAqhdNZDIeuFE gH1CcgTG8mpLqQjhVGoahsOOO0a+rQzOouqcP6P2ajjO+gF/nrun21W7Iln3Uud+gJzT+fJ2 9AOxPTZlgqLWjHgjUuw59jtkNMMbjUTE2yjjCn8UdQJN+siIMBSVzjoepLplbAcz9b3VnVV9 UCuHQYD0c6tIl+JakDlmBZXzQIRqGCmni2xy3p1lSsop+yRxn+roayqeRwZN2pMXGQng03rJ N3+ndkLUEGyYAE4mTOq4E/7w+5Qo6E1fAyxCQ9YOjP7KW1vSP76pLOTb8dV55o5vA1YVe29Z RaRTbu38H54m2vzWmBZwj48bTSjvJ70ygd7hGyqJ3F2tHPFeMt0yH8z/fTkTOVKlnoDTSh80 nzMA0SkesKu5ZOSnovCtea3UySgUIdSeG/l19HIuCy+7GxsSRqx+pL70s/uAAQzyyDyxtRCW iDBrRK6aY7un6i3KuNoeEB0CUS0sZIrXNEj1NJu29dJhiZSj47d5XcdlGbvLdhXvMC2JGEAQ zIG2Z+d4QTo3lFiMmPcwov4UnuHxc4yL9K+Y24Qxmc895UQUPbSvOECxHUq5APn81G0A7A1h DoWxPow5WRPhugIvFFo1SCBGvUJGlEeOyXwlhOO5tT4raNNZW/pf6LjsSg21d2nEryGpRlRH XjjfZJ3Vz15/8l2Kl3FwXDb5YTted2WZtUW/E7x8V+In61OJZQ9m+BfzzhuKG70p3Is2uMTg hln3JX8t4+CYTYInurxEltTMTv7YNkW8zfmgPNFn8qY6IuoG41oBjQBWJa7BeLtCj8Zsu7rc hqfCDBp4GnOAqLRREXMjSUu52KKCZ2gMGubYWUU3ck3DgfIP1RR2UgVRGloxcN/T1Hygpa9L wEhoWpNrl/g9kkSlqQybEK5CzmH4l/vM2ZRKtDXLQIKvF8coR6Na4rGqLo0RXkQ/4X9/lLTb DbHNkIYVSdRHRbcT1H7Yuvxv5+Zr67BV7D4d7yXMdDs4aRfT6vams7pi9E7uW7KboLWYDFjF 6FpgxITGykmRIKJ3W1IEXVfljqRPZfE/1Hlq3Ex9obnt621PWCnrYqXV+kIaYQpq03w2P3Tc bbX3XkxKC4EhMlVmzmVmP5GjQRU02Y3JnGsCehS73eTCviLy+kMVVhDLHoiUakAp7Q12g0HU SLCovXy0LMwzvs8ClMeEEfkhtnsfssSZWe0KFLAAk+PcrWAPzzChc/tM+u6TvVLgeNYugfV2 37TGlL/PjmFizjiVgy+eeBKgiaBORVCuYa7Oh9zAGnnRdjiZ1W1KthyxTExxLQ1gDvNOwt+e XBkdFhRq7SL8S5CqvB2GmgE6Xs8aOfdxHjf4O7fJZIb9/BsB2U8lu5X5mg716oA7CxAQ68Q+ mOapdpvrle61+iXn2A/AVwe93AS2t3N5Bo8asC7vtFaVH3J/QwA9zCVAhUO/J5+D8H3/rtX0 p7Jnb7yLzFL95TV+9EdDo7aMpHiUjJpPBz3FTrTFAZAQySsMDSVlUVMnPiI+XSEo7A1r5Htn NwFTboRBzlXXrsKT19oGtAPOsI9RjQ/jbuSl9IF/1K7pRjVAcJb59XJD63MR/roLzmdgP9PY B5CktaaZcwDc4b83UJlcFxzmo/HTlHRUd56qSpkdgYooU9J/RCWr0U20kPhLwSsuTodTKHq2 BExjQR6bKIm8zK+uz/fyXLFoSIxlA86ntC32Fh5lRb+Ka6xWcddDC+m7yAM IronPort-Data: A9a23:4dDjHqwG9Ky8BNJbH1t6t+cIwCrEfRIJ4+MujC+fZmUNrF6WrkVSz 2NODDjVPq6JNGTzetp+bom3oUIF68XUnIA1SFFp+1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrdRbrJA24DjWVvQ4 Y+q+aUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhX0 edukZPgVj4yEbfsobQ7dxhHET1XaPguFL/veRBTsOSWxkzCNnztmrBgVR5oe4If/elzDCdF8 vlwxDIlNEjSwbLrhuvlFa812ZpLwMrDZOvzvllyxCDVBOwpSIHOa6rP7N5cmjw3g6iiGN6HP JNJMmsxM3wsZTVgPWlLWJc1p9ykqXiucABjoXiXhYAetj27IAtZieCxarI5YOeiTsxQmgOcp 3na13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUbq5r7tk2QLNgGMUDxISWB2wpvzRZlOCt8x3D VUm2Q4h/bcL72OxbuCteTm5v3yYl0tJMzZPKNES5AaIw6vSxg+WAGkYUzJMAODKUudmFVTGM XfZz7vU6SxTXK69Ei3Cq+/Fxd+mEW1Ecj9YPH5soR4tuoG7+OkOYgTzosGP+ZNZY/XwEDD0h jeL9W0w3upNy8EM0Kq/8BbMhDfESnn1ouwdtlu/soGNtFgRiGuZi2qAtwGzARFoctzxc7V5l CJY8/VyFchXZX13qASDQf8WAJai7OufPTvXjDZHRsd8rmn3pST8Jd0AsVmSwXuF1O5UKVcFh 2eD6WtsCGN7YRNGkIcsPdnuUZp0pUQePYm+CauJBjaxXnSBXFbfoHsGib+40Gfqn0wh+ZzTy r/KGftA+U0yUPw9pBLvH7l1+eZymkgWmD2OLbimkEzP+efPPBa9FOZeWHPTP7BRxP3e/G39r Y0EX+PUkEU3bQELSnOImWLlBQtacyZT6FGfg5A/S9Nv1SI7RjF8U6OBneJJlk4Mt/09q9okN 0qVAidwoGcTT1WcQelTQnw8Or7pQ7hlqnc3YX4lMVqyiiosZI+u6OEUcJ5uJesr8+lqzPhVS fgZepXYUq4fFGifozlNP4PgqIFCdQiwgV3cMiegZg85dcEySgHM/OjiYQaypjIFCTC6tJdlr rD5jlHbTJMPSh5MFsHTbP7znVq9sWJMyu13VkrMZNJUfRy0ooRtLiXwiN4xIt0NeU2TnGvEi 17ODE5B9+fXooIz/N3Yvoy+rt+kQ7lkA05XP2jH9rLpZyTX+2yUx4UfAuuFeDbqUnytpPeva OBT+PHLMPMdmWFMvYchQa1gyrgz5oe2qrJXklZkEXHMYwj5A79sOCPaj8xGt6kIwb4A/AXvB RzJ9d5dNrGEfsjiFQdJdgYia+2C09ASmyXTvatpehSkvHcv8erVS1hWMjmNlDdZcOl/PrQjz Lpzo8UR8QG+1kcnP4rUlCxS7GjQfHUMX7996sMfCY7vzw0qkxRMOMOCTCDx556LZpNHNUxze m2Yg6/LhrJ9wEvecipsSSKcg7IF3Zle6gpXyFIiJkiSnoaXjPEA2hAMoy88SR5Yz0ka3u9+U oSx25aZ+UlTE/ZUaMl/s6SEHghAAFie+xW0xQJWyivWSE6nUmGLJ2o4UQpIEIb17EoEFgW3P pnBoIombdouVM701yo2H0VirpQPiPRvoxbalpnP89utRvEHjPmMvkNqTWUNohrjR8g2gSUrY AWsEPlYMcXGCMLbn0H350R2G1jdpNBo6VGumc1cwZ4= IronPort-HdrOrdr: A9a23:zmNC5qPxr2Qnk8BcTqSjsMiBIKoaSvp037BL7TETdfU7SK2lfq yV8MjztiWVtN9yYhsdcLm7UcHqfZq7z/NICOIqU4tKMjOIhFeV X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,198,1647298800"; d="scan'208,217";a="13183967" X-MGA-submission: =?us-ascii?q?MDFhIRp+AtTE3Y9ZezvCuTr3Sn4DdnnewqcsYj?= =?us-ascii?q?nhAfGmn2KDemNCcoYj+edg+15XT3VuT8lmDLLCPKC8GBFON+wxGt5BIX?= =?us-ascii?q?JyKbd0P5miqjTWEWg/IK/VACmQNJZy77ZCND4EbN22Dqq7pU2wM1DL4a?= =?us-ascii?q?Y7W8ylpVGWP0Mxnf/vi9bcgg=3D=3D?= Received: from mail-oi1-f176.google.com ([209.85.167.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 May 2022 15:29:51 +0200 Received: by mail-oi1-f176.google.com with SMTP id q8so1140375oif.13 for ; Wed, 04 May 2022 06:29:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to:cc; bh=upWxbuLOLPdYxiiyKTQUsPG2a0W8F37dWFQiRvM9okU=; b=KOkrJOFKYqC+G3tZ90MdFQITJlVEXovIGKhqrGR1zEq0ThIOzbDHDoeRl+iQ1ku6sG FVBSoT8bugtqtsuPngJ+qJPxc10xyaFyAFljKPhszUkt74IuUeL8+J3I5YihdUOYf1Qr jc7FqakO5RvACqI/YLUlah2qmOWP3pAmP2m18YKArUXKtEfAO7zIJgzfD32xMRIXYw6x 05kAWnKrF0VpcZICXxnznakMTAzz1OwrIyf/MtmK9XkdQgIMi0s2KuOSuTR8+zhl1rUe JhXBSiuGblRaY7JMo/un4hz4HNrCaArreIZDiZu2ET7YJB9YdHIw4UHVLadXk4I1Lon8 ERpA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc; bh=upWxbuLOLPdYxiiyKTQUsPG2a0W8F37dWFQiRvM9okU=; b=6wvNtT0qaaoH30HD8aX17+TRY/fBSiNGUYH91F6AC+CIerQzmvRcemfkv0w1T8xWIy no8n5hx6UKBqrm824ukLM0PylghZLZOUDyxfXZEpBMbkwQuuRPzd2ds28Y7vFDWagPia mY0eNVoAhLnqeIsZhy9xLotIF1UhYu74aaUNHgygsGiDbJOuu3tZBX3SFmb9af+p/oo6 hp6eOQofoNBQ3kxqbMMtFnx0UBypDQBbufhH6LEt3dmwayb/oxmlx9glSxh3sF9MGRB0 UmEBNqA5s8mNLsWZwMvf1Iuv10Y3gKP5oqe56jwFF8S0VlGCqOKoQqBqhaBC2vZlb1mz K9iQ== X-Gm-Message-State: AOAM5301bPDCKXM6dU+EieYXDbhm9Qm3fhK5pfgqWLBWZVRXyrJbL2B9 LrGsrX9A1cz6SLH1w9w2nvvSkZhaGrnHxbqHyleDmh3CUMg= X-Google-Smtp-Source: ABdhPJwh380KardOQ/jZEFfUHVR6aUeSBf/u6B7wI634WRJjQ3860BSArE/u3Oxu2r1K/rzuUuYu22cnRjSGygyJs/U= X-Received: by 2002:aca:4b95:0:b0:326:1179:5414 with SMTP id y143-20020aca4b95000000b0032611795414mr3971901oia.256.1651670990393; Wed, 04 May 2022 06:29:50 -0700 (PDT) MIME-Version: 1.0 From: zaynah dargaye Date: Wed, 4 May 2022 15:29:39 +0200 Message-ID: To: caml-list@inria.fr Cc: Clara Schneidewind Content-Type: multipart/alternative; boundary="000000000000ab15f605de2f9e7a" Subject: [Caml-list] Deadline extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains External Reply-To: zaynah dargaye X-Loop: caml-list@inria.fr X-Sequence: 18755 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: --000000000000ab15f605de2f9e7a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable FMBC 2022 Deadline Extension Call for Papers [ Please distribute, apologies for multiple postings. ] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 4rd International Workshop on Formal Methods for Blockchains (FMBC) - Deadline Extension Call https://fmbc.gitlab.io/2022 August 11, 2022, Haifa, Israel Co-located with The Federated Logic Conference 2022 (FLoC 22 -- https://www.floc2022.org/) as a satellite workshop of the 34th International Conference on Computer-Aided Verification (CAV 2022 -- http://i-cav.org/2022/). ----------------------------------------------------------------- Important dates --------------------- Abstract submission: May 3, 2022, *May 10, 2022* Full paper submission: May 10, 2022 *May 17, 2022* Notification: June 15, 2022 Camera-ready: July 13, 2022 Workshop: August 11, 2022 Deadlines are Anywhere on Earth -- https://en.wikipedia.org/wiki/Anywhere_on_Earth. ---------------------- ---------------------- TOPICS OF INTEREST --------------------- Blockchains are decentralized transactional ledgers that rely on cryptographic hash functions for guaranteeing the integrity of the stored data. Participants on the network reach agreement on what valid transactions are through consensus algorithms. Blockchains may also provide support for Smart Contracts. Smart Contracts are scripts of an ad-hoc programming language that are stored in the Blockchain and that run on the network. They can interact with the ledger= =E2=80=99s data and update its state. These scripts can express the logic of possibly complex contracts between users of the Blockchain. Thus, Smart Contracts can facilitate the economic activity of Blockchain participants. With the emergence and increasing popularity of cryptocurrencies such as Bitcoin and Ethereum, it is now of utmost importance to have strong guarantees of the behavior of Blockchain software. These guarantees can be brought by using Formal Methods. Indeed, Blockchain software encompasses many topics of computer science where using Formal Methods techniques and tools are relevant: consensus algorithms to ensure the liveness and the security of the data on the chain, programming languages specifically designed to write Smart Contracts, cryptographic protocols, such as zero-knowledge proofs, used to ensure privacy, etc. This 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 ---------------------- ---------------------- SUBMISSION --------------------- Submit original manuscripts (not published or considered elsewhere) with a page limit of 12 pages for full papers and Systemization of Knowledge (SoK) papers, and 6 pages for short papers, and 2 pages for tool papers (excluding bibliography and short appendix of up to 5 additional pages). Alternatively you may also submit an extended abstract of up to 3 pages (including bibliography) summarizing your ongoing work in the area of formal methods and blockchain. Authors of selected extended abstracts are invited to give a short lightning talk. Submission link: https://easychair.org/conferences/?conf=3Dfmbc2022 Authors are encouraged to use LaTeX and prepare their submissions according to the instructions and styling guides for OASIcs provided by Dagstuhl. Instructions for authors: https://submission.dagstuhl.de/series/details/5#author At least one author of an accepted paper is expected to present the paper at the workshop as a registered participant. -------------------- -------------------- PROCEEDINGS ------------------- All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. Accepted regular papers (full and short papers) will be included in the workshop proceedings. ---------------------- ---------------------- INVITED SPEAKER --------------------- Massimo Bartoletti, Professor, Universit=C3=A0 degli Studi di Cagliari, Ita= ly ---------------------- ---------------------- PROGRAM COMMITTEE --------------------- PC CO-CHAIRS * Zaynah Dargaye (Nomadic Labs, France) (zaynah.dargaye@nomadic-labs.com) * Clara Schneidewind (MPI-SP, Germany) (clara.schneidewind@mpi-sp.org) PC MEMBERS Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Leonardo Alt (Ethereum Foundation, Germany) Lacramioara Astefanoaei (Nomadic Labs, France) Roberto Blanco (MPI-SP, Germany) Joachim Breitner (Germany) Achim Brucker (University of Exeter, UK) Ethan Cecchetti (University of Maryland, USA) Manuel Chakravarty (IOHK & Tweag, Netherlands) Jing Chen (Algorand Inc, USA) J=C3=A9r=C3=A9mie Decouchant (TU Delft, Netherlands) Antonella Del Pozzo (Universit=C3=A9 Paris-Saclay & CEA & List, France) Dana Drachsler Cohen (Technion, Israel) Cezara Dragoi (INRIA & ENS & CNRS & PSL, France) Ansgar Fehnker (Twente, Netherlands) Dominik Harz (Interlay & Imperial College London, UK) Lars Hupel (INNOQ, Germany) Igor Konnov (Informal Systems, Austria) Paul Laforgue (Nomadic Labs, France) Julian Nagele (Bank of America, USA) Russel O=E2=80=99Connor (Blockstream) Maria Potop-Butucaru (LIP6, France) Albert Rubio (Complutense University of Madrid, Spain) C=C3=A9sar Sanchez (IMDEA, Spain) Sun Meng (Peking University, China) Simon Thompson (IO Global, UK) Josef Widder (Informal Systems, Austria) --000000000000ab15f605de2f9e7a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
FMBC 2022 Deadline Extension Call for Papers
[ Please d= istribute, apologies for multiple postings. ]

=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

4rd International Work= shop on Formal Methods for Blockchains (FMBC) - Deadline Extension Call
=
https://fmbc.= gitlab.io/2022

August 11, 2022, Haifa, Israel

Co-located = with The Federated Logic Conference 2022 (FLoC 22 -- https://www.floc2022.org/) as a satel= lite workshop of the 34th International Conference on Computer-Aided Verifi= cation (CAV 2022 -- ht= tp://i-cav.org/2022/).

-----------------------------------------= ------------------------
Important dates
---------------------
Abstract submission: May 3, 2022, May 10, 2022
= Full paper submission: May 10, 2022 May 17, 2022Notification: June 15, 2022
Camera-ready: July 13, 2022
Workshop: Au= gust 11, 2022

Deadlines are Anywhere on Earth -- https://en.wikip= edia.org/wiki/Anywhere_on_Earth.

----------------------
-----= -----------------
TOPICS OF INTEREST
---------------------
Blockch= ains are decentralized transactional ledgers that rely on cryptographic hash functions for guaranteeing the integrity of the stored data.=20 Participants on the network reach agreement on what valid transactions=20 are through consensus algorithms.

Blockchains may also provide=20 support for Smart Contracts. Smart Contracts are scripts of an ad-hoc=20 programming language that are stored in the Blockchain and that run on=20 the network. They can interact with the ledger=E2=80=99s data and update it= s=20 state. These scripts can express the logic of possibly complex contracts between users of the Blockchain. Thus, Smart Contracts can facilitate=20 the economic activity of Blockchain participants.

With the=20 emergence and increasing popularity of cryptocurrencies such as Bitcoin=20 and Ethereum, it is now of utmost importance to have strong guarantees=20 of the behavior of Blockchain software. These guarantees can be brought=20 by using Formal Methods. Indeed, Blockchain software encompasses many=20 topics of computer science where using Formal Methods techniques and=20 tools are relevant: consensus algorithms to ensure the liveness and the=20 security of the data on the chain, programming languages specifically=20 designed to write Smart Contracts, cryptographic protocols, such as=20 zero-knowledge proofs, used to ensure privacy, etc.

This workshop is a forum to identify theoretical and practical approaches of formal=20 methods for Blockchain technology. Topics include, but are not limited=20 to:

* Formal models of Blockchain applications or concepts
* Form= al methods for consensus protocols
* Formal methods for Blockchain-speci= fic cryptographic primitives or protocols
* Design and implementation of= Smart Contract languages
* Verification of Smart Contracts

-----= -----------------
----------------------
SUBMISSION
--------------= -------
Submit original manuscripts (not published or considered elsewhere) with a=20 page limit of 12 pages for full papers and Systemization of Knowledge=20 (SoK) papers, and 6 pages for short papers, and 2 pages for tool papers=20 (excluding bibliography and short appendix of up to 5 additional pages).
Alternatively you may also submit an extended abstract of up to 3 pages (including=20 bibliography) summarizing your ongoing work in the area of formal=20 methods and blockchain. Authors of selected extended abstracts are=20 invited to give a short lightning talk.

Submission link: https= ://easychair.org/conferences/?conf=3Dfmbc2022

Authors are encouraged to use LaTeX and prepare their submissions according to=20 the instructions and styling guides for OASIcs provided by Dagstuhl.
Instructions for authors: https://submission.dagstuhl.de/series/= details/5#author

At least one author of an accepted paper is exp= ected to present the paper at the workshop as a registered participant.
=
--------------------
--------------------
PROCEEDINGS
--------= -----------

All submissions will be peer-reviewed by at least three members of the=20 program committee for quality and relevance. Accepted regular papers=20 (full and short papers) will be included in the workshop proceedings.
----------------------
----------------------
INVITED SPEAKER
--= -------------------
Massimo Bartoletti, Professor, Universit=C3=A0 degli= Studi di Cagliari, Italy

----------------------
----------------= ------
PROGRAM COMMITTEE
---------------------

PC CO-CHAIRS* Zaynah Dargaye (Nomadic Labs, France) (zaynah.dargaye@nomadic-labs.com)* Clara Schneidewind (MPI-SP, Germany) (clara.schneidewind@mpi-sp.org)

= PC MEMBERS

Wolfgang Ahrendt (Chalmers University of Technology, Swed= en)
Leonardo Alt (Ethereum Foundation, Germany)
Lacramioara Astefanoa= ei (Nomadic Labs, France)
Roberto Blanco (MPI-SP, Germany)
Joachim Br= eitner (Germany)
Achim Brucker (University of Exeter, UK)
Ethan Cecch= etti (University of Maryland, USA)
Manuel Chakravarty (IOHK & Tweag,= Netherlands)
Jing Chen (Algorand Inc, USA)
J=C3=A9r=C3=A9mie Decouch= ant (TU Delft, Netherlands)
Antonella Del Pozzo (Universit=C3=A9 Paris-S= aclay & CEA & List, France)
Dana Drachsler Cohen (Technion, Isra= el)
Cezara Dragoi (INRIA & ENS & CNRS & PSL, France)
Ansg= ar Fehnker (Twente, Netherlands)
Dominik Harz (Interlay & Imperial C= ollege London, UK)
Lars Hupel (INNOQ, Germany)
Igor Konnov (Informal = Systems, Austria)
Paul Laforgue (Nomadic Labs, France)
Julian Nagele = (Bank of America, USA)
Russel O=E2=80=99Connor (Blockstream)
Maria Po= top-Butucaru (LIP6, France)
Albert Rubio (Complutense University of Madr= id, Spain)
C=C3=A9sar Sanchez (IMDEA, Spain)
Sun Meng (Peking Univers= ity, China)
Simon Thompson (IO Global, UK)
Josef Widder (Informal Sys= tems, Austria)

--000000000000ab15f605de2f9e7a--