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

​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, and 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, and 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, 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.