20.01.2020 | COBRA

COBRA presenting at CPP 2020

This week the COBRA researchers Danil Annenkov, Jakob Botsch Nielsen and Bas Spitters are attending the  9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP2020) in New Orleans where they will present the paper ConCert: A Smart Contract Certification Framework in Coq. CPP 2020 is co-located with…

12.01.2020 | COBRA

TPBC20 - Call for Papers

TPBC20 invites contributed talks in all sub-themes of consensus protocols, zero-knowledge proofs, privacy and anonymity-preserving techniques, language design and semantics for smart contracts, formal verification of cryptographic protocols and implementations, and other related topics. The TPBC20 steering committee will…

08.01.2020 | CS frontpage, Featured, Public/media

How can companies benefit from blockchain technology?

Over the next two years, the Blockchain Academy Network will train and educate top executives and technical managers in Danish companies to give them technological, business, and management insights into blockchain technology. Blockchain Academy Network is funded by Industriens Fond.

02.01.2020 | COBRA

Theory and Practice of Blockchains 2020

From April 20th to 22nd, Department of Information and Communication Technologies at Pompeu Fabra University will host the workshop Theory and Practice of Blockchains 2020 (TPBC20) in collaboration with COBRA.  TPBC20 will bring together researchers working on the theory and implementation of blockchains and…