[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Workshop on Formal Methods for Blockchains (FMBC) 2019
https://sites.google.com/view/fmbc/home
Porto, Portugal, October 11
Part of the 3rd World Congress on Formal Methods
http://formalmethods2019.inesctec.pt/
IMPORTANT DATES
Abstract submission: June 23, 2019
Full paper submission: June 30, 2019
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 Smar 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 DETAILS
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. All submissions must be original,
unpublished, and not submitted for publication elsewhere. Submissions must be
in PDF format, using the Springer LNCS style files; we suggest to use the
LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the
typeinst.dem available in typeinst.zip as a template for your contribution).
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.
Submission link:
https://easychair.org/conferences/?conf=fmbc19
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 - Tenure-track Associate Professor at Yale-NUS College
(Singapore), holding a joint appointment with NUS School of Computing.
PROGRAM CHAIRS
Néstor Cataño ([email protected])
Diego Marmsoler ([email protected])
Bruno Bernardo ([email protected])
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)
