TPBC20 - Cancelled due to COVID-19
2020.03.15 — As 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.09 — The 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
2020.02.24 —
COBRA Sponsor of the BIU Winter School 2020
2020.02.05 —
2020.01.20 — 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…
2020.01.12 — 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…
Theory and Practice of Blockchains 2020
2020.01.02 — 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…
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…
2019.11.28 — This week from 28 to 30 November Daniel Tschudi and Christian Matt from Concordium AG will be visiting COBRA.
No articles found in this list
