Skip to main content

Monthly review videos

Every last Wednesday of the month, the Leios team hosts a public review meeting to share progress, foster transparency, and invite early feedback from everyone – builders, curious community members, and innovation teams who may overlap with Leios in the future.

These sessions cover the latest updates from each workstream, followed by an open Q&A where anyone can ask questions about Leios. The goal is to keep the community informed and engaged as the project evolves.

Workstreams covered in each review:

  • Research
  • Formal specification and conformance testing
  • Delta QSD
  • Rust and Haskell simulations
  • General analysis (economical, technical, performance, etc).

Stay up to date with the latest progress and discussions! Below, you'll find links to Leios' monthly review videos, which summarize key milestones, research updates, and community Q&A.

info

Until the end of 2024, Leios monthly review meetings were recorded using Google Meet and shared via links. Beginning in 2025, these sessions have been live streamed on YouTube to improve accessibility and transparency. In some months, due to technical issues (such as screen sharing or audio problems), a fallback Google Meet recording may be provided instead of the YouTube stream.

2025 (YouTube and Google Meet recordings)​

2024 (Google Meet recordings)​