| |
|
Verification Summit - Launch Edition
|
| With Ranjan Rajagopalan (CEO, Pramaana Labs), Vinod Khosla (Founder, Khosla VC), Krishnan Raghavan (CTO, Pramaana Labs). |
|
Jun 10 (Wed) @ 04:00 PM
FREE
| | Chorus Theater, 98 12th St, SF
|
|
|
|
|
| |
| Register |
|
|
| |
About this event
Where AI Verification gets serious.
AI has crossed a threshold where its outputs influence decisions in law, science, software, finance, & 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 & security conferences were curated: small, sharp, & 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
A
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, & enterprise AI. In a fireside with Ranjan Rajagopalan on the verification thesis.
Hosted by
Pramaana Labs - Ranjan Rajagopalan (CEO), Krishnan Raghavan (CTO), Sanjay Ganapathy (Chief Scientist) Building AI you can prove right. Backed by Khosla Ventures. Convening this conversation as a public moment for the field, & announcing the Pramaana Verification Fellowship on stage.
Supported by
BoldCap - Early-stage AI-native venture fund Bangalore
Supporting partner for the Verification Summit's first edition.
In the room
Lookup our website for the speaker line-up:
https://verificationsummit.ai/
Three ways in
01 Attendee Researchers, founders building in regulated domains, applied-AI engineers, & investors with active verification theses. Capacity is intentionally small. Approval-based.
02 Booth exhibitor Open to research groups, labs, & 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.
|
|
|
|
|
|
|
|
