Workshop

DAY 1 & 2:

A beginner workshop on the basics of the Certora Prover. You’ll receive a key to access the Certora Prover for 3 months.

DAY 3:


An advanced workshop focused on formal verification of AAVE. Participants will work on AAVE community projects together, everyone can earn up to 10k in grants.

Date

July 21, 2022
to 23 July (9am - 4pm)

Venue

Ecole Normale Superior, Amphitheater Evariste Galois, 45 Rue d’Ulm, Paris
map

Other information