The Verification Summit — Launch Edition · San Francisco
About this event
Where AI Verification gets serious.
AI has crossed a threshold where its outputs influence decisions in law, science, software, finance, and policy. But the foundation underneath is still probabilistic — a model that's right most of the time, with no way to know which time is which.
Verification is how that changes.
Formal methods, automated theorem proving, runtime checks, alignment-by-construction, provable agents — these are the tools that turn "the model said so" into something an engineer, a regulator, or a scientist can stake a decision on.
The Verification Summit is the first single-track, technical-first gathering for this field. We're curating it the way the early systems and security conferences were curated: small, sharp, and built for the people doing the work.
Q.E.D.
📅 Event Details
Date: Wednesday, June 10, 2026
Time: 4:30 PM — 8:30 PM PT
Format: Single track · Fireside · Research talk · Panel · Booths · Dinner
Location: San Francisco (venue announced to confirmed attendees)
Access: Invite-only · Approval-based · No ticket fee
Capacity: ~150 in the room
More details here: verificationsummit.ai
Anchored by
Vinod Khosla — Founder, Khosla Ventures Co-founder of Sun Microsystems. One of Silicon Valley's most consequential investors, with early bets on companies reshaping energy, health, and enterprise AI.
Pramaana Labs founders — Ranjan Rajagopalan, Krishnan Raghavan, Sanjay Ganapathi Building AI you can prove right. Hosting and announcing the Pramaana Verification Fellowship.
In the room
Confirmed speakers (first batch — more announced in the weeks before the event):
Vinod Khosla · Founder, Khosla Ventures
Sanjit Seshia · Cadence Founders Chair Professor, EECS · UC Berkeley. A foundational voice in verified AI and cyber-physical systems.
Ranjan Rajagopalan · Co-founder & CEO, Pramaana Labs
Krishnan Raghavan · Co-founder & CTO, Pramaana Labs
Sanjay Ganapathi · Co-founder & Chief Scientist, Pramaana Labs
Pending — François Chollet (Ndea / ARC Prize Foundation), and additional speakers from research labs and operators in regulated domains. Confirmations will be batched.
Run of show
Full lineup revealed two weeks before the event.
Three ways in
01 · Attendee Researchers, founders building in regulated domains, applied-AI engineers, and investors with active verification theses. Capacity is intentionally small. Approval-based.
02 · Booth exhibitor Open to research groups, labs, and early-stage companies with technical demos in the verification stack. Four to five booths during the reception. Approval-based.
03 · Speaker If you're working on something the room should hear, get in touch. We're particularly interested in operator-side perspectives from regulated domains.
Who this is for
This is a curated, technical room. Single track, no parallel sessions, no pitch deck slots.
You belong here if you are:
A researcher working on formal methods, theorem proving, runtime verification, alignment, or trustworthy ML
A founder or engineer deploying AI into a domain that can't tolerate hallucination — law, healthcare, finance, cybersecurity, regulated software
An investor with an active verification thesis
A policy or standards voice thinking about what assurance for AI systems should look like
Applications are reviewed. We curate for depth over scale.
Host
Pramaana Labs is building AI you can prove right. Backed by Khosla Ventures. We're hosting the Verification Summit as a public moment for the conversation we believe will define the next phase of AI.
→ pramaanalabs.ai → verificationsummit.ai
Wed, June 10, 2026 · San Francisco · An event by Pramaana Labs Verifier Court · Q.E.D.