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. Our goal is to keep the community informed and engaged as the project evolves.
Workstreams covered in each review:
- Research
- Formal specification & conformance testing
- Delta QSD
- Simulations (Rust & Haskell)
- General analysis (economical, technical, performance, etc.)
Stay up to date with the latest progress and discussions! Below you'll find links to our monthly review videos, summarizing key milestones, research updates, and community Q&A.
Until the end of 2024, our monthly review meetings were recorded via Google Meet and shared as links. Starting in 2025, we began live streaming these sessions on YouTube for greater accessibility and transparency. For some months, due to technical issues (e.g., screen sharing or audio problems), we may provide a fallback Google Meet recording instead of the YouTube stream.
2025 (YouTube & Google Meet Recordings)
- May 2025: YouTube | Google Meet | Slides | Summary
- April 2025: YouTube | Google Meet | Slides
- March 2025: YouTube | Google Meet | Slides
- February 2025: YouTube | Google Meet | Slides
- January 2025: YouTube | Google Meet | Slides
2024 (Google Meet Recordings)
- December 2024: Google Meet | Slides
- November 2024: Google Meet | Slides
- October 2024: Google Meet | Slides