<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-text-html" lang="x-unicode">
<p>[ Please distribute, apologies for multiple postings. ]</p>
<p><br>
</p>
<div>==========================================================<br>
</div>
<div>1st Workshop on Formal Methods for Blockchains (FMBC) 2019<br>
</div>
<div><br>
</div>
<div><a href="https://sites.google.com/view/fmbc/home">https://sites.google.com/view/fmbc/home</a><br>
</div>
<div><br>
</div>
<div>Porto, Portugal, October 11<br>
</div>
<div><br>
</div>
<div>Part of the 3rd World Congress on Formal Methods<br>
</div>
<div><br>
</div>
<div><a href="http://formalmethods2019.inesctec.pt/">http://formalmethods2019.inesctec.pt/</a><br>
</div>
<div><br>
</div>
<div>-------------------------------------------------------------<br>
</div>
<div>IMPORTANT DATES<br>
</div>
<div>--------------------------------<br>
</div>
<div>Abstract submission: June 30, 2019 (extended)<br>
</div>
<div>Full paper submission: July 7, 2019 (extended)</div>
<div>Notification: July 31, 2019<br>
</div>
<div>Camera-ready: September 2, 2019<br>
</div>
<div>Conference: October 11, 2019<br>
</div>
<div>--------------------------------<br>
</div>
<div>--------------------------------<br>
</div>
<div>TOPICS OF INTEREST<br>
</div>
<div>--------------------------------<br>
</div>
<div>Blockchains are decentralized transactional ledgers that rely
on<br>
</div>
<div>cryptographic hash functions for guaranteeing the integrity
of the<br>
</div>
<div>stored data. Participants on the network reach agreement on
what valid<br>
</div>
<div>transactions are through consensus algorithms.<br>
</div>
<div><br>
</div>
<div>Blockchains may also provide support for Smart Contracts.
Smart<br>
</div>
<div>Contracts are scripts of an ad-hoc programming language that
are<br>
</div>
<div>stored in the blockchain and that run on the network. They
can<br>
</div>
<div>interact with the ledger’s data and update its state. These
scripts<br>
</div>
<div>can express the logic of possibly complex contracts between
users of<br>
</div>
<div>the blockchain. Thus, Smart Contracts can facilitate the
economic<br>
</div>
<div>activity of blockchain participants.<br>
</div>
<div><br>
</div>
<div>With the emergence and increasing popularity of
cryptocurrencies such<br>
</div>
<div>as Bitcoin and Ethereum, it is now of utmost importance to
have strong<br>
</div>
<div>guarantees of the behavior of blockchain so ware. These
guarantees<br>
</div>
<div>can be brought by using Formal Methods. Indeed, Blockchain
software<br>
</div>
<div>encompasses many topics of computer science where using
Formal Methods<br>
</div>
<div>techniques and tools are relevant: consensus algorithms to
ensure the<br>
</div>
<div>liveness and the security of the data on the chain,
programming<br>
</div>
<div>languages specifically designed to write smart contracts,<br>
</div>
<div>cryptographic protocols, such as zero-knowledge proofs, used
to ensure<br>
</div>
<div>privacy, etc.<br>
</div>
<div><br>
</div>
<div>This workshop is a forum to identify theoretical and
practical<br>
</div>
<div>approaches of formal methods for blockchain technology.
Topics<br>
</div>
<div>include, but are not limited to:<br>
</div>
<div><br>
</div>
<div>* Design and implementation of Smart Contract languages<br>
</div>
<div>* Formal models of blockchain applications or concepts<br>
</div>
<div>* Formal methods for consensus protocols<br>
</div>
<div>* Formal methods for blockchain-specific cryptographic
primitives or<br>
</div>
<div> protocols Formal languages for Smart<br>
</div>
<div>* Verification of Smart Contracts<br>
</div>
<div>--------------------------------<br>
</div>
<div>--------------------------------<br>
</div>
<div>SUBMISSION<br>
</div>
<div>--------------------------------<br>
</div>
<div>Submit original manuscripts (not published or considered
elsewhere)<br>
</div>
<div>with a maximum of twelve pages (regular papers), six pages
(short<br>
</div>
<div>papers), and two pages (extended abstract) describing new and
emerging<br>
</div>
<div>ideas or summarizing existing work). Each paper should
include a title<br>
</div>
<div>and the name and affiliation of each author. Authors of
selected<br>
</div>
<div>extended-abstracts are invited to give a short lightning talk
of up to<br>
</div>
<div>15 minutes.<br>
</div>
<div><br>
</div>
<div>At least one author of an accepted paper is expected to
present the<br>
</div>
<div>paper at the workshop as a registered participant. All
accepted<br>
</div>
<div>contributions will be reviewed once more by the program
committee<br>
</div>
<div>after the workshop and before being included in the
post-proceedings.<br>
</div>
<div><br>
</div>
<div>submission link <a
href="https://easychair.org/conferences/?conf=fmbc19">https://easychair.org/conferences/?conf=fmbc19</a><br>
</div>
<div>--------------------------------<br>
</div>
<div>--------------------------------<br>
</div>
<div>PROCEEDINGS<br>
</div>
<div>--------------------------------<br>
</div>
<div>All submissions will be peer-reviewed by at least three
members of the<br>
</div>
<div>program committee for quality and relevance. Accepted regular
papers<br>
</div>
<div>(full and short papers) will be included in the FM workshop<br>
</div>
<div>post-proceedings, published as a volume of the Lecture Notes
in<br>
</div>
<div>Computer Science (LNCS) by Springer.<br>
</div>
<div>--------------------------------<br>
</div>
<div>--------------------------------<br>
</div>
<div>INVITED SPEAKER<br>
</div>
<div>---------------------------------------------------------------------------------------------------------<br>
</div>
<div>Ilya Sergey - Associate Professor at Yale-NUS College and NUS
School of Computing, (Singapore).<br>
</div>
<div>---------------------------------------------------------------------------------------------------------<br>
</div>
<div><br>
</div>
<div>--------------------------------<br>
</div>
<div>--------------------------------<br>
</div>
<div>PROGRAM committee<br>
</div>
<div>--------------------------------<br>
</div>
<div>Program Chairs<br>
</div>
<div>Bruno Bernardo (<a href="mailto:bruno@nomadic-labs.com">bruno@nomadic-labs.com</a>)<br>
</div>
<div>Néstor Cataño (<a href="mailto:nestor.catano@gmail.com">nestor.catano@gmail.com</a>)<br>
</div>
<div>Diego Marmsoler (<a href="mailto:diego.marmsoler@tum.de">diego.marmsoler@tum.de</a>)<br>
</div>
<div><br>
</div>
<div>Program Committee<br>
</div>
<div>Pietro Abate (Nomadic Labs, France)<br>
</div>
<div>Ijaz Ahmed (University of Madeira, Portuga)<br>
</div>
<div>Jonathan Aldrich (Carnegie Mellon University, USA)<br>
</div>
<div>Bernhard Beckert (Karlsruhe Institute of Technology, Germany)<br>
</div>
<div>Bruno Bernardo (Nomadic Labs, France)<br>
</div>
<div>Sukriti Bhattacharya (LIST, Luxembourg)<br>
</div>
<div>Néstor Cataño (Universidad del Norte, Colombia)<br>
</div>
<div>Maria Christakis (MPI-SWS, Germany)<br>
</div>
<div>Léa-Zaynah Dargaye (CEA LIST, France)<br>
</div>
<div>Georges Gonthier (Inria, France)<br>
</div>
<div>Neville Grech (University of Athens, Greece / University of
Malta, Malta)<br>
</div>
<div>Davide Grossi (University of Groningen, Netherlands)<br>
</div>
<div>Sorren Hanvey (Liverpool John Moores University, UK)<br>
</div>
<div>Andreas Lochbihler (Digital Asset, Swiss)<br>
</div>
<div>Diego Marmsoler (Technische Universitat Munchen, Germany)<br>
</div>
<div>Anastasia Mavridou (NASA Ames, USA)<br>
</div>
<div>Simão Melo de Sousa (Universidade da Beira Interior,
Portugal)<br>
</div>
<div>Fabio Mogavero (Università degli Studi di Napoli, Italy)<br>
</div>
<div>Peter Csaba Ölveczky (University of Oslo, Norway)<br>
</div>
<div>Karl Palmskog (University of Texas at Austin, USA)<br>
</div>
<div>Vincent Rahli (University of Luxembourg, Luxembourg)<br>
</div>
<div>Steve Reeves (University of Waikato, New Zealand)<br>
</div>
<div>Camilo Rueda (Pontificia Universidad Javeriana, Colombia)<br>
</div>
<div>Claudio Russo (Dfinity Foundation, USA)<br>
</div>
<div>Jorge Sousa Pinto (Universidade do Minho, Portugal)<br>
</div>
<div>Bas Spitters (Aarhus University, Denmark)<br>
</div>
<div>Christoph Sprenger (ETH, Zürich)<br>
</div>
<div>Mark Staples (Data61, Australia)<br>
</div>
<div>Philip Wadler (University of Edinburgh / IOHK, UK)<br>
</div>
<div>Xi Wu (The University of Queensland, Australia)<br>
</div>
<div>Santiago Zanella-Beguelin (Microsoft Research Cambridge, UK)<br>
</div>
<div><br>
</div>
<div><br>
</div>
<div>--------------------------------</div>
</div>
</body>
</html>