COBRA Researchers Presenting at FMBC19

On Friday this week the COBRA researchers Jakob Botsch Nielsen, Danil Annenkov and Bas Spitters will give two lectures at FMBC19: "Towards a Smart Contract Verification Framework in Coq" and "Smart Contract Interactions in Coq".

FMBC19 is the 1st Workshop on Formal Methods for Blockchains and will take place in Porto, Portugal on Friday October 11th, 2019. 

Further details about FMBC19 can be found at https://sites.google.com/view/fmbc/home 

More information about Concordium Blockchain Research Center Aarhus (COBRA) can be found at the center website: http://cs.au.dk/research/centers/concordium/