CS Colloquium: Nikhil Swamy on The ART of Agentic Proof-Oriented Programming: Audits, Rubrics, and Templates

Name: CS Colloquium: Nikhil Swamy on The ART of Agentic Proof-Oriented Programming: Audits, Rubrics, and Templates
Start: 2026-10-29
End: 2026-10-29
Location: ECCR 265

Thursday, October 29 · 3:30 PM

ECCR 265, Boulder · Boulder, CO

Please join us in ECCR 265 or on Zoom! Abstract: AI-based program synthesis is now widespread.

You've used your 3 free event views. Signing in is free: just your email and a 6-digit code.