ADVERTISEMENT
ADVERTISEMENT
Vinod Khosla to headline Pramaana Labs summit in San Francisco
Sessions will include research talks, panel discussions on verified AI across domains, and an announcement of the Pramaana Research Program.
-
Jeffin T. Kaleekal - Tue, 26, May 2026
- 03:43 EDT
- 44
 (1).jpg)
Vinod Khosla / Wikimedia commons
California-based Pramaana Labs is organizing the Verification Summit, a new AI-focused conference, in San Francisco on June 10.
The event will focus on how AI systems can move from generating outputs that merely “sound right” to systems whose outputs can be formally verified and trusted in high-stakes domains such as law, science, finance, software engineering and public policy.
The organizers revealed that the event will be anchored by Indian American businessman and venture capitalist Vinod Khosla and is scheduled to take place at the Chorus Theater in San Francisco.
The half-day summit is designed as a “single-track, technical-first” gathering with a limited audience of roughly 120 to 150 attendees.
The organizers noted that the event will mirror the focused nature of early systems and cybersecurity conferences, prioritizing depth over scale.
The event will feature a host of speakers, including Krishnamurthy Dvijotham of Google DeepMind, Sanjit Seshia from UC Berkeley, Marco Pavone and Satnam Singh.
Also Read: UC San Diego inaugural U.S.-India Forum underway
Sessions will include research talks, panel discussions on verified AI across domains, and an announcement of the Pramaana Research Program, after kicking the event off with a fireside chat between Vinod Khosla and Pramaana Labs founder Ranjan Rajagopalan.
Organizers highlighted that the event is planned as the first edition of what they hope will become an annual flagship conference for the AI verification field.
Pramaana Labs has invited people to participate in the event as attendees, booth exhibitors and speakers.
Researchers, founders building in regulated domains, applied AI engineers and investors with active verification theses can apply to become attendees of the event.
Research groups, labs and early-stage companies with technical demos in the verification stack can apply to become booth exhibitors.
Those interested in speaking at the event can also apply if they are working “on something the room should hear,” with a special preference for voices with operator-side perspectives from regulated domains.
The summit comes amid increasing global attention on AI safety, accountability and verification as governments, companies and researchers seek more reliable methods to evaluate advanced AI systems.
Discover more at New India Abroad.
Related
ADVERTISEMENT
ADVERTISEMENT
E Paper
Video
Comments
Start the conversation
Become a member of New India Abroad to start commenting.
Sign Up Now
Already have an account? Login