[Hol-info] FMBC 2021 - Call for Participation

[ Please distribute, apologies for multiple postings. ] 3rd International Workshop on Formal Methods for Blockchains (FMBC) 2021 - Call for Participation https://fmbc.gitlab.io/2021 July 18 and 19, 2021, Online, 8AM-10AM

[Hol-info] FMBC 2021 - Final Call for Papers (Deadline extension)

Researcher, Blockchain, Novi/Facebook, USA https://research.fb.com/people/dill-david/ PROGRAM COMMITTEE PC CO-CHAIRS * Bruno Bernardo (Nomadic Labs, France) (br...@nomadic-labs.com) * Diego Marmsoler

[Hol-info] FMBC 2021 - 3rd Call for Papers (Deadline extensions)

, Blockchain, Novi/Facebook, USA https://research.fb.com/people/dill-david/ PROGRAM COMMITTEE PC CO-CHAIRS * Bruno Bernardo (Nomadic Labs, France) (br...@nomadic-labs.com) * Diego Marmsoler (University

[Hol-info] FMBC 2021 - 2nd Call for Papers

https://research.fb.com/people/dill-david/ PROGRAM COMMITTEE PC CO-CHAIRS * Bruno Bernardo (Nomadic Labs, France) (br...@nomadic-labs.com) * Diego Marmsoler (University of Exeter, UK) (d.marmso

[Hol-info] FMBC 2021 - Call for Papers

PROGRAM COMMITTEE PC CO-CHAIRS * Bruno Bernardo (Nomadic Labs, France) (br...@nomadic-labs.com) * Diego Marmsoler (University of Exeter, UK) (d.marmso...@exeter.ac.uk) PC MEMBERS To be confirmed

[Hol-info] FMBC 2020 - Call for Participation

[ 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

[Hol-info] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (3rd CfP, Deadline Extension)

://runtimeverification.com/ PROGRAM COMMITTEE PC CO-CHAIRS * Bruno Bernardo (Nomadic Labs, France) (br...@nomadic-labs.com) * Diego Marmsoler (University of Exeter, UK) (d.marmso...@exeter.ac.uk) PC

[Hol-info] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (CfP, Deadline Extension)

Verification http://fsl.cs.illinois.edu/index.php/Grigore_Rosu https://runtimeverification.com/ PROGRAM COMMITTEE PC CO-CHAIRS * Bruno Bernardo (Nomadic Labs, France) (br...@nomadic-labs.com) * Diego

[Hol-info] 2nd Workshop on Formal Methods for Blockchains (FMBC) 2020 - 1st CFP

/ PROGRAM COMMITTEE PC CO-CHAIRS * Bruno Bernardo (Nomadic Labs, France) (br...@nomadic-labs.com) * Diego Marmsoler (University of Exeter, UK) (d.marmso...@exeter.ac.uk) PC MEMBERS * Wolfgang Ahrendt (Chalmers University of Technology, Sweden) * Lacramioara

[Hol-info] FMBC 2019 Call for Participation - Porto (Portugal), October 11

[Please accept our apologies for duplicates.] = Call for Participation 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

[Hol-info] (Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP

). - PROGRAM committee Program Chairs Bruno Bernardo (br...@nomadic-labs.com <mailto:br...@nomadic-labs.com>) Néstor Cataño (nestor.cat...@gmail.com <mailto:nestor.cat...@gmail.com>) Diego Marmsoler (

[Hol-info] (Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP

). - PROGRAM committee Program Chairs Bruno Bernardo (br...@nomadic-labs.com <mailto:br...@nomadic-labs.com>) Néstor Cataño (nestor.cat...@gmail.com <mailto:nestor.cat...@gmail.com>) Diego Marmsoler (

[Hol-info] CFP: 1st Workshop on Formal Methods for Blockchains (FMBC) 2019

). - PROGRAM committee Program Chairs Bruno Bernardo (br...@nomadic-labs.com) Néstor Cataño (nestor.cat...@gmail.com) Diego Marmsoler (diego.marmso...@tum.de) Program Committee Pietro Abate (Nomadic Labs, France) Ijaz Ahmed (University