Devcon Archive logo
Devcon Devconnect Forum Blog
  • Watch
  • Event
    Event: background logo
    • Devcon 7
    • Devcon 6
    • Devcon 5
    • Devcon 4
    • Devcon 3
    • Devcon 2
    • Devcon 1
    • Devcon 0
    • Devconnect ARG
  • Categories
    Categories: background logo
    • Cryptoeconomics
    • Devcon
    • Developer Experience
    • Coordination
    • Core Protocol
    • Layer 2s
    • Real World Ethereum
    • Cypherpunk & Privacy
    • Security
    • Applied Cryptography
    • Usability
  • Playlists

Suggested

Loading results..

View all

About Devcon —

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.

An intensive introduction for new Ethereum explorers, a global family reunion for those already a part of our ecosystem, and a source of energy and creativity for all.

  • Watch
  • Devcon
  • Devconnect
  • Forum
  • Blog

Get in touch

devcon@ethereum.org

Subscribe to our newsletter

Crafted with passion ❤️ at the Ethereum Foundation

© 2026 — Ethereum Foundation. All Rights Reserved.

devcon 7 / cls formal verification hangout

  • YouTube
[CLS] Formal Verification Hangout preview
  • Details

[CLS] Formal Verification Hangout

Duration: NaN:NaN:NaN

Speaker:

Type: Mixed Formats

Expertise: Intermediate

Event: Devcon

Date: Nov 2024

A low key, informal, self-organized event hosted within the Devcon venue* to explore interesting topics in Formal Verification. The event will be casual, with minimal talks/programming, and geared towards facilitating discussions and allowing researchers to connect with others in the field. ​Agenda ​2:00 - 2:15 – Welcome 2:15 - 3:30 – Fishbowl Panel 3:30 - 4:00 – Break 4:00 - 5:00 – Lightning Talks** 5:00 - 6:00 – Discussion Groups 6:00 onwards – Informal Discussions

Categories

FormalVerification