

Certora Escape Room: Feb 26 - Mar 1
At ETHDenver, a door has opened—not just to an escape room, but to a shared adventure of curiosity, learning, and collaboration. All week long, one of Denver’s most immersive escape rooms is free and open to all conference attendees, inviting you to step into a world of mystery, puzzles, and hidden knowledge.
This is more than a game—it’s a chance to explore the unknown together, to challenge your perceptions, and to grow alongside fellow builders and dreamers. Every lock unturned, every clue uncovered, and every breakthrough is a step forward—not just for yourself, but for the collective.
A collective that will almost certainly exist long into the future, with few entry points. Carpite Claves Productionis.
No one escapes alone. The only way forward is together.
The escape room be held every day between Feb 26th to March 1st. First admission on 11am, last on 10pm.
Hosted by Certora, open source formal verification.
Move fast, break nothing.
https://certora.com