[ Please distribute, apologies for multiple postings. ]
==========================================================
1st Workshop on Formal Methods for Blockchains (FMBC) 2019
Porto, Portugal, October 11
Part of the 3rd World Congress on Formal Methods
-------------------------------------------------------------
IMPORTANT DATES
--------------------------------
Abstract submission: June 30, 2019 (extended)
Full paper submission: July 7, 2019 (extended)
Notification: July 31, 2019
Camera-ready: September 2, 2019
Conference: October 11, 2019
--------------------------------
--------------------------------
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’s 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 so ware. 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:
* Design and implementation of Smart Contract languages
* Formal models of blockchain applications or concepts
* Formal methods for consensus protocols
* Formal methods for blockchain-specific cryptographic
primitives or
protocols Formal languages for Smart
* Verification of Smart Contracts
--------------------------------
--------------------------------
SUBMISSION
--------------------------------
Submit original manuscripts (not published or considered
elsewhere)
with a maximum of twelve pages (regular papers), six pages
(short
papers), and two pages (extended abstract) describing new and
emerging
ideas or summarizing existing work). Each paper should
include a title
and the name and affiliation of each author. Authors of
selected
extended-abstracts are invited to give a short lightning talk
of up to
15 minutes.
At least one author of an accepted paper is expected to
present the
paper at the workshop as a registered participant. All
accepted
contributions will be reviewed once more by the program
committee
after the workshop and before being included in the
post-proceedings.
--------------------------------
--------------------------------
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 FM workshop
post-proceedings, published as a volume of the Lecture Notes
in
Computer Science (LNCS) by Springer.
--------------------------------
--------------------------------
INVITED SPEAKER
---------------------------------------------------------------------------------------------------------
Ilya Sergey - Associate Professor at Yale-NUS College and NUS
School of Computing, (Singapore).
---------------------------------------------------------------------------------------------------------
--------------------------------
--------------------------------
PROGRAM committee
--------------------------------
Program Chairs
Program Committee
Pietro Abate (Nomadic Labs, France)
Ijaz Ahmed (University of Madeira, Portuga)
Jonathan Aldrich (Carnegie Mellon University, USA)
Bernhard Beckert (Karlsruhe Institute of Technology, Germany)
Bruno Bernardo (Nomadic Labs, France)
Sukriti Bhattacharya (LIST, Luxembourg)
Néstor Cataño (Universidad del Norte, Colombia)
Maria Christakis (MPI-SWS, Germany)
Léa-Zaynah Dargaye (CEA LIST, France)
Georges Gonthier (Inria, France)
Neville Grech (University of Athens, Greece / University of
Malta, Malta)
Davide Grossi (University of Groningen, Netherlands)
Sorren Hanvey (Liverpool John Moores University, UK)
Andreas Lochbihler (Digital Asset, Swiss)
Diego Marmsoler (Technische Universitat Munchen, Germany)
Anastasia Mavridou (NASA Ames, USA)
Simão Melo de Sousa (Universidade da Beira Interior,
Portugal)
Fabio Mogavero (Università degli Studi di Napoli, Italy)
Peter Csaba Ölveczky (University of Oslo, Norway)
Karl Palmskog (University of Texas at Austin, USA)
Vincent Rahli (University of Luxembourg, Luxembourg)
Steve Reeves (University of Waikato, New Zealand)
Camilo Rueda (Pontificia Universidad Javeriana, Colombia)
Claudio Russo (Dfinity Foundation, USA)
Jorge Sousa Pinto (Universidade do Minho, Portugal)
Bas Spitters (Aarhus University, Denmark)
Christoph Sprenger (ETH, Zürich)
Mark Staples (Data61, Australia)
Philip Wadler (University of Edinburgh / IOHK, UK)
Xi Wu (The University of Queensland, Australia)
Santiago Zanella-Beguelin (Microsoft Research Cambridge, UK)
--------------------------------