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
View run of the show →
Launch Edition · San Francisco
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
Anchored by
- Vinod Khosla
- Pramaana Labs founders
Mission
Why a Verification Summit
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.
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 Ganapathi
Co-founder & Chief Scientist · Pramaana Labs
Closing note + call to the field.
-
ConfirmedSanjit Seshia
Cadence Founders Chair Professor, EECS · UC Berkeley
Cadence Founders Chair Professor at UC Berkeley, developing the mathematical techniques and tools that make AI and cyber-physical systems provably safe, secure, and trustworthy. A foundational voice in verified artificial intelligence.
-
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.
-
More speakers
announced soonOpen callApply to speak →
If your work belongs in this room, send it in. We're curating, not crowdsourcing.
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 →FAQ
Frequently asked questions
The basics. For anything not covered, write us — arun@pramaanalabs.ai.
-
01
Who is this summit for?
Researchers, founders, and engineers working on verification, formal methods, trustworthy AI, alignment, and the infrastructure underneath provable AI systems. We curate for depth over scale — single track, ~150 attendees, no parallel sessions.
-
02
How do I get an invite?
The Summit is invite-only. Request an invite through this site and our team will get back within 5 business days. We prioritize people building, researching, or investing in the verification layer of AI.
-
03
Can I apply to speak?
Yes — submit a talk proposal via Apply to speak. We're curating the Lightning Talks block from these. Submissions close May 20, 2026.
-
04
Is the Summit recorded? Live-streamed?
We're live-streaming the keynotes and the fireside. Lightning talks and sessions will be published as recordings after the event.
-
05
Where is it?
San Francisco. Final venue announced once confirmed — invitees and applicants notified directly.
-
06
Is there a cost?
There is no ticket fee. The Summit is hosted by Pramaana Labs as part of our efforts to drive a much-needed conversation in the space of verification in AI.
-
07
Will there be future editions?
Yes — the Verification Summit is designed as an annual flagship for the field. 2026 is the first edition.
-
08
I lead a company working on verification or formal methods. How do we engage?
Apply as a booth exhibitor. The booth is your chance to put what you're building in formal verification in front of the researchers, founders, and operators most likely to care.
-
09
Will there be media coverage?
Yes — selected media partners attend under embargo. If you're media and want to attend or cover, reach out via this site.
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.