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

DevRel(ish) didn't create this event — it's acommunity.lexicon.calendar.event record on@almanac.scenius.social's own PDS, shown here because DevRel(ish) reads the same open schema as calendar.colorado.edu.

at://did:plc:wwd3t4coccvqtxkjsf6cfsrv/community.lexicon.calendar.event/3mvjpanrw2cah