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.
Meet the man behind the new Danish blockchain
2019.11.13 — Jesper Buus Nielsen and his team work hard on their blockhcain research. The plan is for Concordium to launch their product in 2020, and if all go according to plan it could revolutionize the way deals and transactions are verified - and make DK a pioneer country within fintech [article in Danish].
COBRA presenting for Datalogiforeningen
2019.11.04 — On Saturday November 2nd, the COBRA researchers Bas Spitters and Danil Annenkov gave a presentation about blockchain technology for the Danish association Datalogiforeningen. Further details about the event and the association can be found here: …
2019.10.28 — On Friday November 1st, Postdoc Sabine Oechsner will give a talk about Blockchain Research at Aarhus University at the annual conference for IT professionals Driving IT 2019. In the talk Sabine will give an overview of the research activities in COBRA. Driving IT 2019 is hosted by IDA, a…
Visiting Researcher - Daniel Tschudi
2019.10.10 — Daniel Tschudi from Concordium AG will visit COBRA as visiting researcher from October 12 to 19, 2019.
COBRA Researchers Presenting at FMBC19
2019.10.08 — On Friday this week the COBRA researchers Jakob Botsch Nielsen, Danil Annenkov and Bas Spitters will give two lectures at FMBC19: "Towards a Smart Contract Verification Framework in Coq" and "Smart Contract Interactions in Coq". FMBC19 is the 1st Workshop on Formal…
No articles found in this list
