01
Attendee
Researchers, founders building in regulated domains, applied-AI engineers, and investors with active verification theses. Capacity is intentionally small (~120 in the room). Approval-based.
Apply to attend →The Verification Summit
Where AI Verification gets serious
A half-day summit on the verification problem in AI — moving from outputs that sound right to outputs we can prove right.
When
Wed, June 10, 2026
4:30 PM – 8:30 PM
Where
San Francisco
Venue announced soon
Mission
Why a Verification Summit
We're at the inflection where AI systems are being asked to make consequential decisions — in tax, healthcare, legal, security, regulated industry — and the field's default answer to "is this output correct?" is still "the model sounded confident."
Formal verification has spent 50 years building a different answer: machine-checkable proofs, decision procedures, soundness guarantees.
The Verification Summit exists to bring those two worlds into the same room — researchers working on the formal side, founders and operators trying to deploy AI in domains that can't tolerate hallucinations, and the investors who will fund the bridge between them. The conversation around verifiable AI starts here.
A small, technical-first gathering. Not a conference. Not a panel marathon. We're keeping the room tight, the talks deep, and the bar high on what gets stage time.
Speakers
In the room
Confirmed first. Pending speakers are listed where conversations are warm — we'll mark them confirmed in batches.
-
ConfirmedVinod Khosla
Founder · Khosla Ventures
Co-founder of Sun Microsystems and founder of Khosla Ventures. One of Silicon Valley's most consequential investors, with early bets on companies reshaping energy, health, and enterprise AI.
-
ConfirmedRanjan Rajagopalan
Co-founder & CEO · Pramaana Labs
Co-founder of Pramaana Labs. Hosting the fireside with Vinod.
-
ConfirmedKrishnan Raghavan
Co-founder & CTO · Pramaana Labs
Co-founder of Pramaana Labs. Announcing the Pramaana Verification Fellowship.
-
ConfirmedSanjay
Closing note · Pramaana Labs
Closing note + call to the field.
-
PendingNikesh Arora
Chairman & CEO · Palo Alto Networks
Chairman and CEO of Palo Alto Networks, the world's largest cybersecurity company. Previously President of SoftBank and SVP at Google; a leading voice on deploying AI responsibly at scale.
-
PendingFrançois Chollet
Co-founder · Ndea / ARC Prize Foundation
Creator of Keras and co-creator of the ARC Prize, the leading benchmark for machine reasoning beyond pattern matching. A prominent voice on what AI systems actually need to demonstrate before we trust them.
-
PendingPushmeet Kohli
VP of Research · Google DeepMind
VP of Research at Google DeepMind, working at the intersection of AI safety, robustness, and formal verification of learned systems. Previously led research groups at Microsoft Research.
Agenda
Run of show
Wednesday, June 10, 2026 · 4:30 PM – 8:30 PM
Full lineup revealed two weeks before the event.
-
01
4:30 PM
Welcome
Pramaana founders
-
02
5:00 PM
Fireside · The verification thesis
Vinod Khosla × Ranjan Rajagopalan
-
03
5:30 PM
Research talk
TBASpeaker to be announced
-
04
6:10 PM
Panel · Verified AI across domains
TBAFinance · Cybersecurity · Regulated AI
-
05
6:55 PM
Announcement · Pramaana Verification Fellowship
Krishnan Raghavan (Pramaana)
-
06
7:15 PM
Closing note
Sanjay (Pramaana)
-
07
7:30 PM
Dinner + research booths
Open floor
Apply
Three ways in
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.
Apply as a booth exhibitor →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.
Speaker interest →Host
About Pramaana Labs
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 the field.