Aarhus University Seal / Aarhus Universitets segl

News

2020.01.08 | 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.

2020.01.20 | 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…

2020.01.12 | 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…

2020.01.07 | CPV

Welcome to Abel Nieto

Abel Nieto joins CPV as a PhD student. Abel completed a BSc. in Computer Science at the University of Waterloo, in balmy Ontario, Canada. Before starting his MSc, Abel worked three years at Google, writing mobile apps and distributed systems. Welcome, we look forward to working with you!

2020.01.07 | CPV

Welcome to Armaël Guéneau

Armaël Guéneau has joined CPV as a postdoc. Armaël did his PhD at Inria Paris in the Gallium team, with Arthur Charguéraud and François Pottier. When not in the office, he enjoys hacking on OCaml-related projects and sometimes the OCaml compiler. Welcome, we look forward to working with you!

2020.01.02 | 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…