coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Bruno Bernardo <bernardobruno AT gmail.com>
- To: acl2 AT utlists.utexas.edu, agda AT lists.chalmers.se, bart_wg AT listes.telecom-paristech.fr, Coq Club <coq-club AT inria.fr>, Catalin Hritcu via fstar-club <fstar-club AT lists.gforge.inria.fr>, haskell-cafe AT haskell.org, hol-info AT lists.sourceforge.net, caml-list AT inria.fr, types AT lists.chalmers.se, types-announce AT lists.seas.upenn.edu, vardi-list AT mailman.rice.edu
- Subject: [Coq-Club] FMBC 2020 - Call for Participation
- Date: Tue, 7 Jul 2020 22:07:41 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bernardobruno AT gmail.com; spf=Pass smtp.mailfrom=bernardobruno AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f66.google.com
- Ironport-phdr: 9a23:FG60zBd3i5xCfFqKu255/g6KlGMj4u6mDksu8pMizoh2WeGdxc2+ZRKN2/xhgRfzUJnB7Loc0qyK6v6mADFLvsvJ8ChbNsAVClld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN6c8xgHUrnZIdOhbx2NlLk+Xkxrg+8u85pFu/zlQtv4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZSguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiCcGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcRctaSTBPDZ2gYIsOF+oBPPhXr4/hp1sVsBCyARCgCP7zxjNUg3P727Ax3eY8HgHcxAEuAdIAvmnXotv7OqgdXvy6wqbTwDXfbf5bwyvx5JTGfx0jp/yHQLJ+cdDWyUkqDw7Ik0+QqZHjPzOSy+8ArnaU7/BmVe21kW4otgZxqSWoy8g3lIbJnIQVxUre9Spkx4Y6Pse4SFN9Yd6jC5ZQuCSaOJF3QsMmWW1npCE6yrgftJO9YSMFx4gpyQTFZPybb4iH/AjjVOCJLDtlmH5pZb2xihay/0Wh1uDxWdW53VJOoydKk9TBuGwB2RLS58aISvZz/lmt1SiS2wzO6exJIF45mLTVJZAh3rM9kIcYv0rEHi/zgkr2jamWe10r+uip9+TnZq/pqYSGO491jQHyKqUultWjDusiLAgCRW+b+f6z1LDl4Eb3Q61Kg+UonqXFtJ3WP8cWq66jDwNLzIov9gyzAjan3dgAg3UINk5JdA+Cgof1IF7CPP/1APKljFiwijhmwv7LMaH9DpnRK3XOn6vtcLJn5ENZ1AU/0d9S6pdaB7wDI//+Xkr8udPcAxI5LgC5xfvsBs9n2YMEQ22PB7eUMKPMvl+M4eIiO+yMa5UUuDb5MvQk6eTugWIglV8TfKSk3IEbaH+/HvRhLEWZZWTjjs0dHmcNuwoyVO3qiFucXj5Pf3u+Qb4w6zUhBI+lDYrPXJ6hjKKc0CuhH5BbZ3hKClWWHnfpc4WEVe0MaCWXIsJ5iTMLS6KhS4k72hG0qQD6zKFoLvDJ+i0espLuz9d15+jJmhEz8Tx4FdiS02aIT21shGMHWyc23LxjoUx60lqMzbJ3g/lcFdBK4/NJUxw6NYLHwuxhC9HyXxrBcc2TRFanRNWmGzAxQcgrz98AeUZ3A8+igQzb3yq2H78VkKSGC4Az8qLFxnT+O8J9y2vd26Q6lFknQs5PNXW8iaJl9gjTAZTJk0SDmKqwe6Qcxn2FyGDWxGGK5mlFTApxSrneG20Da1vftpL06l6GB7ahBb0PNgpa1dXEIatDbtjkl04AX/qncN7XeX6GhGiYAReT2r6XKpbnf2gW2yCYEEEekhsP8H2GcwYkQm+KpHuWJzhzHxq7aET1tOJ6tXmTT0kuzgjMYVc3k/Ke8wIcgf2aA9MJ364PpW8/qjw8Ek2h1siTAN6drUI1cr5AaMl461Na30rdthdhJdqvIad4iVNYcgJtvkqo2Q8hTs1AmNMpoXcuiQF7J6+w0FpadD6c2db3ILKTYmn1+FWubaDR8lXfy8qNvLwI9e4zplvkpg6kUEwv7zEv2NBQ1z6Y547WJAsUS5P4FEgts1BmtqnXeQE55pjIzjtnMaCwtzLYwJQyCa9t1ge4cswaOaWCExL0GMAyA8m1NPdsgFWgdVQZJO1U8ug5M97iP+WPwqKqeeJhhy6OiG1G5IV01ASW9iFxDOPEwsUr2fadiyGdSjH7xH2sqMb+g4xDLWUYE3C5wDLoA4RLe6t1VYkOAGaqZcaww4Mt1NbWR3dE+Qv7VBs908izdE/XNgSlhFAC5QEsuXWi3BCA4Xl0njUu9PfN2SXPx6H9bkNCNDAVAmZliljoLM6/iNVIBBH0PThsrwOs4APB/4YevL52djCBTkJBfiywJGZnAPPp5+iyJvVX4ZZtih15FeG1YFSUULn4+kJI3CbqHm8Yzzc+JWin
[ Please distribute, apologies for multiple postings. ]
========================================================================
2nd Workshop on Formal Methods for Blockchains (FMBC) 2020 - Call for Participation
https://fmbc.gitlab.io/2020
July 20 and 21, 2020, Online, 6AM-8AM PDT
Co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020)
http://i-cav.org/2020/
---------------------------------------------------------
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 accecpted papers is available on the FMBC 2020 website:
https://fmbc.gitlab.io/2020/program.html
There will be one keynote by Grigore Rosu, Professor at University of Illinois at Urbana-Champaign,
USA and Founder of Runtime Verification.
Registration
Registration to FMBC 2020 is free but required. It is done through the CAV 2020 registration form:
http://i-cav.org/2020/attending/ Please register before *July 10, 2020*.
- [Coq-Club] FMBC 2020 - Call for Participation, Bruno Bernardo, 07/07/2020
Archive powered by MHonArc 2.6.19+.