June 29 – July 2, 2026 · San Francisco, CA · imported from ai.engineer's public schedule feed

AI Engineer World's Fair 2026 — unofficial import demo

Unofficial demo. This programme was imported from the AI Engineer World's Fair's own public schedule feed to show vibeboard at real conference scale. Not affiliated with, or endorsed by, the organisers.

Varun Pant

Varun Pant

Builder, NeuroSymbolic AI, AWS

Speaking in 1 session at AI Engineer World's Fair 2026 — unofficial import demo

Bio

Builds AI products at AWS, currently neurosymbolic AI.

Sessions

Your Code Has Bugs. Lean4 Has Proofs. A Practical Guide to Formal Verification for EngineersWednesday, July 1 · 11:40 AM – 12:00 PM · Leadership 1AI-Native Enterprises

For developers: this programme is open data — JSON, iCal, schedule XML and an MCP endpoint.Show endpoints

No key, no signup, CORS open. Everything here is generated from the same data the organisers edit.