DC Systems 006
Registration
Approval Required
Your registration is subject to approval by the host.
About Event
https://dcsystems.xyz/
DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area.
We're focused on high quality talks and expert speakers. Talks about engineering, not product pitches.
For 006 we'll have:
Rohan Padhye from Carnegie Mellon on Controlled concurrency testing for JVM programs, and
Harrison Goldstein from University of Maryland on why The Best New Programming Language is a Proof Assistant
Food and drinks provided.