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 →Wed, June 10, 2026 · San Francisco
The Verification Summit
A half-day summit on the verification problem in AI — moving from outputs that sound right to outputs we can prove right.
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 as confirmed in batches.
- Confirmed
Vinod Khosla
Founder · Khosla Ventures
Fireside
Founder of Khosla Ventures. Lead investor in Pramaana. Anchor fireside on the verification thesis.
- Confirmed
Ranjan Rajagopalan
Co-founder & CEO · Pramaana Labs
Fireside
Co-founder of Pramaana Labs. Hosting the fireside with Vinod.
- Confirmed
Krishnan Kumar
Co-founder & CTO · Pramaana Labs
Fellowship announcement
Co-founder of Pramaana Labs. Announcing the Pramaana Verification Fellowship.
- Confirmed
Sanjay
Closing note · Pramaana Labs
Closing
Closing note + call to the field.
- Pending
Nikesh Arora
Chairman & CEO · Palo Alto Networks
Panel · Verified AI across domains
On the operator's view of verification — and what a 30% LLM false-positive rate means for any team trying to deploy these models in production.
- Pending
François Chollet
Co-founder · Ndea / ARC Prize Foundation
Panel · Reasoning + generalization
Creator of Keras. On the bar for trustworthy AI vs. what current evals capture.
- Pending
Pushmeet Kohli
VP of Research · Google DeepMind
Research talk
On the frontier of formal verification of AI systems.
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 Kumar (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.