Cardano Audit and Certification Meetup in Barcelona

IOG is working to ensure that DApps on the Cardano blockchain meet the highest levels of assurance possible, through testing, audit, and formal verification.

To support this goal, IOG is holding a workshop on DApp audit and certification for DApp developers building on Cardano, in Barcelona, May 17–18, 2022. This workshop will allow you to find out about audits and certification from auditors and DApp developers who have been audited, as well as the IOG certification team.

👉 Places are limited to a maximum of 70, and will be allocated on a first-come, first-served basis so please apply now!

On Tuesday 17 you’ll be able to hear from a number of auditors, including representatives from CertiK and Runtime Verification, and audited developers including ADAX and SundaeSwap.

Wednesday 18 will begin with a tutorial from Quiviq on their QuickCheck-based approach to automated testing and continue with a panel discussion on preparing for audit and one-to-one workshops where DApp devs and auditors can get together. We will conclude by looking at IOG’s plans for certification and standards.

👉 The meeting will begin at 9am on May 17, so we expect attendees to arrive the previous day. It will end by 4pm on May 18.

Please note that this is a technical event and best suited for experienced developers; register with your email address using the following link: https://mailchi.mp/iohk.io/certification. We will follow up with confirmations and more information in the coming weeks.