San Francisco skyline and the Golden Gate Bridge at blue hour
The Verification Summit

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

View run of the show →
Apply to attend Apply as a booth exhibitor Speaker interest

Anchored by

  • Vinod Khosla
  • Pramaana Labs founders

Mission

Why a Verification Summit

We're at the inflection where AI systems are being asked to make consequential decisions — in 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.

Q.E.D.

Speakers

In the room

Confirmed first. Pending speakers are listed where conversations are warm — we'll mark them confirmed in batches.

  • Vinod Khosla
    Confirmed

    Vinod 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.

  • Ranjan Rajagopalan
    Confirmed

    Ranjan Rajagopalan

    Co-founder & CEO · Pramaana Labs

    Co-founder of Pramaana Labs. Hosting the fireside with Vinod.

  • Krishnan Raghavan
    Confirmed

    Krishnan Raghavan

    Co-founder & CTO · Pramaana Labs

    Co-founder of Pramaana Labs. Announcing the Pramaana Verification Fellowship.

  • Sanjay Ganapathi
    Confirmed

    Sanjay Ganapathi

    Co-founder & Chief Scientist · Pramaana Labs

    Closing note + call to the field.

  • Nikesh Arora
    Pending

    Nikesh 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.

  • François Chollet
    Pending

    Franç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.

  • Pushmeet Kohli
    Pending

    Pushmeet 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.

  1. 01

    4:30 PM

    Welcome

    Pramaana founders

  2. 02

    5:00 PM

    Fireside · The verification thesis

    Vinod Khosla × Ranjan Rajagopalan

  3. 03

    5:30 PM

    Research talk

    TBA

    Speaker to be announced

  4. 04

    6:10 PM

    Panel · Verified AI across domains

    TBA

    Finance · Cybersecurity · Regulated AI

  5. 05

    6:55 PM

    Announcement · Pramaana Verification Fellowship

    Krishnan Raghavan (Pramaana)

  6. 06

    7:15 PM

    Closing note

    Sanjay (Pramaana)

  7. 07

    7:30 PM

    Dinner + research booths

    Open floor

Apply

Three ways in

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 →

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.

pramaanalabs.ai →