Vis nyhed

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 POPL2020. Further details about both conferences can be found at  

COBRA is supporting the conference with $2500. More information about COBRA can be found at the center website: