Aarhus University Seal / Aarhus Universitets segl

News

TPBC20 - Cancelled due to COVID-19

2020.03.15As a consequence of the COVID-19 situation, it has been decided to cancel TPBC20 on the scheduled dates. Once we have more information about the situation, we will consider rescheduling the event to a date later this year. Further updates will be announced on the TPBC20 website …

TPBC20 - Accepted talks announced

2020.03.09The accepted talks for TPBC20 have been announced. COBRA researchers are represented in five out of 20 accepted talks. Find the list of accepted talks on the TPBC20 website  https://eventum.upf.edu/43438/section/24485/theory-and-practice-of-blockchains.html

COBRA presenting at CPP 2020

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

TPBC20 - Call for Papers

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

Theory and Practice of Blockchains 2020

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

Visiting Researcher - Karl Palmskog

2019.12.06 Karl Palmskog will be visiting COBRA from 10 to 11 December. He is a researcher in the Secure and Trustworthy Execution Platform group at KTH Royal Institute of Technology in Stockholm, Sweden, working on formal verification of system software. He was previously a postdoc at The University of…

Concordium AG visiting COBRA

2019.11.28This week from 28 to 30 November Daniel Tschudi and Christian Matt from Concordium AG will be visiting COBRA.

Events

No articles found in this list