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 ESMTP id E73A15D4 for ; Tue, 25 Jun 2019 14:56:12 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,416,1557180000"; d="scan'208,217";a="389009744" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jun 2019 16:56:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 81ABD826E3; Tue, 25 Jun 2019 16:56:11 +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 EDC967ED69 for ; Tue, 25 Jun 2019 16:50:26 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bernardobruno@gmail.com; spf=Pass smtp.mailfrom=bernardobruno@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f68.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AdGBttRHQ6BDgjXwUc7eYyZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76p8q+bnLW6fgltlLVR4KTs6sC17OM9fm8EjNQqdbZ6TZeKcUKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZ8Jqor1xfErXREdu?= =?us-ascii?q?ZVyGh1IV6fgwvw6t2/8ZJ+7ihcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7D?= =?us-ascii?q?TQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiT?= =?us-ascii?q?wIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWG1OUNtMVyxaGoOz?= =?us-ascii?q?cZcAD/YPM+ZfqonyvVoOrR2jDgWoC+7izjpEi3nr1qM4zushCxnL0hIgEdwTs3?= =?us-ascii?q?raotv6O6gOXu2u1qbE0S/OYulK1Trz6oXFdA0qr/GWXbJ3dMrc0VQiFxnYjlWW?= =?us-ascii?q?rozuIi6Y2foXs2id9eVgT/+gi2k6oAx2uTeg2N0sio/TiYIP11/E8j52wJwoJd?= =?us-ascii?q?2+T052etGkEJ5KuCGbM4t6WN8tQ2ZtuCsjzLANpJC1fC8PyJs9xh7fbeSKc4eP?= =?us-ascii?q?4hLkW+aRJSl3iGh5d7K4gha+6VavxffnVsi0zFlKrjBKktjWtnwX0BzT8MeHRu?= =?us-ascii?q?N8/kenxzmPzBzc6v1aLk8oj6bbM4Ihz7gtnZQQqUTOBjH6lFnygaOMdUgp+vKk?= =?us-ascii?q?5/r5brn7vJORNox5hhn6P6kggMCzHPo0PhIQU2Wa4+ix0LLu8EvkS7tQlPI2iL?= =?us-ascii?q?PWsJXCKMQbuKG5BwhV354m6xmlDjem1M0UnHcdLF5YYR6HgYnkNlLULPD3Cve/?= =?us-ascii?q?hFuskDN1yPzcIrLhBZDNImDCkLfnY7l991ZRxBQvwd1b/Z5ZCbEMLOjtVkPvqd?= =?us-ascii?q?DUFB40Pg+sz+biEtp914ceWWyVAq+eNaPfqUSH6fw1I+mKfoAVoivyK/8+6P70?= =?us-ascii?q?kH85n1gdcLKm3ZsScn+4H/BmL1+Fbnrrh9cNCX0KsRYmTOz2lF2CViZeaGqoUK?= =?us-ascii?q?I54jE3EYamDYbYRoCxm7GBxye6HphOZm9cEFyMEHHod5+FW/gWci6SLNVhwXQ4?= =?us-ascii?q?Uu2vUJMoz1SlsBLw475mNfbPvCIWsojs2Z504ffSnFc873g8D8OZlmCLQWZcmm?= =?us-ascii?q?ITWyRwx6diu0dwxFCZ3qU+hfFEUZRa6P9AegM7LoLHied6AtT3VxjaOMyEDB6m?= =?us-ascii?q?S86lDDU1C9k4zdImY09mGNimilbExSXuS7QR0r2QDZY59qbRmmXqKtxm43LHz7?= =?us-ascii?q?U6yVIvR41GPiu7heo3/AHWA8vNkl6Fv6esb6UVmiDXp0mZym/blltFVgk4e6jf?= =?us-ascii?q?W3kFakye+d70/EXLVbOpA646NAxpxsuLK68MYdrs2wYVDMz/McjTNjri01y7Ag?= =?us-ascii?q?yFk+/dNda4SyAmxCzYTXM8vUUL53/fbFoxAy6gpyTVCzk8TQuyMXOpyvF3rTaA?= =?us-ascii?q?dmFxzwyOaBc8hb+8+xpQmubFDv1NjvQLvyAurzgyF1G4jYqPWoiw4jF5daAZWu?= =?us-ascii?q?sTpVJO1GbXrQt4Z8XyIKVrh1pYeANy7Rrj?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DgJgAuNBJdf0TdVdFcCg4OAQEBHwQBA?= =?us-ascii?q?QUBAYFQgS4CAQEBAYFLA09ahBZSkiWFGVaPBFiERYIJA1ICCQEDAQoBAQUeDAE?= =?us-ascii?q?BgUuCdYJ3GwcBBDQTAQMBAQQBAQIBAgMBEwEBCQsLCCeKQAyCOgyDLh0BGwwSA?= =?us-ascii?q?xIQNAMCIwIRAQUBCxgMBgIBAYMeAYFpAQMdBAuZczyLIIEUBQEXH4JbBYIDBYI?= =?us-ascii?q?vChknDV8DgToCBwkBCIEgAgEBAQEBAYk3BIIKExeBf4ERJ4F/PoMGLhkCAhiBH?= =?us-ascii?q?ARUgl2CWASMAodqiDSNGRw/CT6BWYIehDKJLINpBhuCKYcOg1ISijOEEIkYgRs?= =?us-ascii?q?VhgWBbYw0gTgCBAIEBQIGDyGBHCpYgSFNIy8hMYI7CQmBN4EDGBSDOYUUTYQ3P?= =?us-ascii?q?T0zjUmCUgEB?= X-IPAS-Result: =?us-ascii?q?A0DgJgAuNBJdf0TdVdFcCg4OAQEBHwQBAQUBAYFQgS4CAQE?= =?us-ascii?q?BAYFLA09ahBZSkiWFGVaPBFiERYIJA1ICCQEDAQoBAQUeDAEBgUuCdYJ3GwcBB?= =?us-ascii?q?DQTAQMBAQQBAQIBAgMBEwEBCQsLCCeKQAyCOgyDLh0BGwwSAxIQNAMCIwIRAQU?= =?us-ascii?q?BCxgMBgIBAYMeAYFpAQMdBAuZczyLIIEUBQEXH4JbBYIDBYIvChknDV8DgToCB?= =?us-ascii?q?wkBCIEgAgEBAQEBAYk3BIIKExeBf4ERJ4F/PoMGLhkCAhiBHARUgl2CWASMAod?= =?us-ascii?q?qiDSNGRw/CT6BWYIehDKJLINpBhuCKYcOg1ISijOEEIkYgRsVhgWBbYw0gTgCB?= =?us-ascii?q?AIEBQIGDyGBHCpYgSFNIy8hMYI7CQmBN4EDGBSDOYUUTYQ3PT0zjUmCUgEB?= X-IronPort-AV: E=Sophos;i="5.63,416,1557180000"; d="scan'208,217";a="311368512" X-MGA-submission: =?us-ascii?q?MDEVP8hsQOyyQR+Ls1HUOVujyPXji3cjErAyL1?= =?us-ascii?q?4A+qnOFThSOgXFJhFG7pzCmsJsHLvKEeHmTtKOZaWnKUwL88u2rQT+LZ?= =?us-ascii?q?ZPWYfoGeL06aVUmA89N9uBEQScBLqjHn643F0NG5yi1YP7KKERu08owe?= =?us-ascii?q?2/I3I4EdrwhKTKXiG80jP4tQ=3D=3D?= Received: from mail-wr1-f68.google.com ([209.85.221.68]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jun 2019 16:50:25 +0200 Received: by mail-wr1-f68.google.com with SMTP id k11so18261641wrl.1 for ; Tue, 25 Jun 2019 07:50:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-language; bh=e4Wchd8mZDzpKsovV7iNzR1/NSMvLMUfvgsuQ3M6yMM=; b=R785JGKfobxkSNdGriFk6BcK2bBI6D0BfY1cCWqDxRI4q3/h/HVxTTkBgZ99lllgjJ Tj1QpefbkOoIUyHMPR7ODF0oNM9OBttiSwmoX21sAAxru1tpQo92kFR1oS/FVJN8t+Sm SnGGnMccyYiSfDQsK4r5rYInJlUrSAtE9514Kel//EQAnJtwVunb4cZuTvrStm32ovXv PDwBPJ3vYDl2eqElEkZ1vHSbCVilrJrdFPFgpN3CWJy8731aRsa4KWwLxtU0WIGcdPft dvYTPM80SJtj5B14f/NxP6thc29aStpy7GFB4r3SauNVp92HMc7T7Lu1WIjKA6sSj2dh BmUg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-language; bh=e4Wchd8mZDzpKsovV7iNzR1/NSMvLMUfvgsuQ3M6yMM=; b=O0ECvPAjQkK5mgSC1aoR+G35QXYoIhyBzM2crwq8ZLUxaGdJ5fIY1nyLVRRykq7/Wu v3MAFHs7VVGH/4Si1IqXsWeE4UvjO9CRj9NeivnN6sNNYuCXCWoOvJLJoOzkOL+ZSSJf VgmbqeTu7ddz4HyM6hN+OBZF1YFd9JxSO71pUpCYWYZFBgtoEjkVucsNQ78Ldwekqn0E vVAZjwTi2ZNoeKeYGk1OkaR9oHnCWBFoYDGUe07iXVG35/jas0+mb3fp/cIKD3SlWval uXnHKQqcBjglmqoSFNobRrH9jif3o1sGoGRa0T76ReUui+XM7vfUvcBkezZzvp8W7hTb pbIQ== X-Gm-Message-State: APjAAAVNWoDoYtcXEUt1+BZfq08B0Ht5Sa+mSxUbkeau51rX3xt/2dsH fDQccknZn0sFzLmo8ExOY/IThb0i X-Google-Smtp-Source: APXvYqw0B65/uRNYi8MjaYMtbzLwX4ZPs4y95K++cacbtzRCwDE7t6Zks2c8X0bg4vXANuuZTnCVDQ== X-Received: by 2002:adf:f582:: with SMTP id f2mr58950313wro.144.1561473760784; Tue, 25 Jun 2019 07:42:40 -0700 (PDT) Received: from [192.168.1.143] (94.26.12.93.rev.sfr.net. [93.12.26.94]) by smtp.gmail.com with ESMTPSA id p140sm2241486wme.31.2019.06.25.07.42.39 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 25 Jun 2019 07:42:39 -0700 (PDT) To: fstar-club@lists.gforge.inria.fr, hol-info@lists.sourceforge.net, agda@lists.chalmers.se, haskell-cafe@haskell.org, cl-isabelle-users@lists.cam.ac.uk, caml-list@inria.fr From: Bruno Bernardo Message-ID: Date: Tue, 25 Jun 2019 16:45:27 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.1 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------2FCAFE9ECB10215724234476" Content-Language: en-US X-Validation-by: bernardobruno@gmail.com Subject: [Caml-list] (Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP Reply-To: Bruno Bernardo X-Loop: caml-list@inria.fr X-Sequence: 17646 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: This is a multi-part message in MIME format. --------------2FCAFE9ECB10215724234476 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit [ Please distribute, apologies for multiple postings. ] ========================================================== 1st 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 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. 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 - Associate Professor at Yale-NUS College and NUS School of Computing, (Singapore). --------------------------------------------------------------------------------------------------------- -------------------------------- -------------------------------- PROGRAM committee -------------------------------- Program Chairs Bruno Bernardo (bruno@nomadic-labs.com ) Néstor Cataño (nestor.catano@gmail.com ) Diego Marmsoler (diego.marmsoler@tum.de ) 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) -------------------------------- --------------2FCAFE9ECB10215724234476 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit

[ 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
Bruno Bernardo (bruno@nomadic-labs.com)
Néstor Cataño (nestor.catano@gmail.com)
Diego Marmsoler (diego.marmsoler@tum.de)

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)


--------------------------------
--------------2FCAFE9ECB10215724234476--