Workshops, hackathons, and gatherings to advance verified autonomous systems. Join us in person or online.
A focused hackathon exploring how Lean can become the foundation for building provably reliable, agent-driven systems. Hybrid: IISc Bangalore + Online.
Want to hear about future events? Get in touch.