5K Run & Walk for Code Security with Coffee & Breakfast!
Take a break from meetings and talks and get in some movement in honor of code security.
Join us at Logan House Coffee at 7:15AM on Friday, February 28, 2025.
We will have three groups for fast runners, regular runners, and walkers. Each group will have a personal city tour guide.
Remember to wear comfortable footwear. We'll have dedicated personnel to safeguard your personal belongings, and refreshing cold water will be provided for all runners / walkers.
We’ll meet back at after the run/walk at Logan House Coffee. Coffee and breakfast are on us!
Looking forward to seeing you there!
Certora and Electric Teams.
ABOUT CERTORA
Certora is a blockchain security company that provides industry-leading formal verification tools and smart contract audits. Certora’s flagship security product, Prover, is helping protocols like Aave, Lido, and Maker integrate the power of formal verification into their development pipeline to catch even the most rare & hard-to-find bugs. Learn more at