CPU logo

Software Correctness Seminar covers major developments in formal verification, program analysis, and synthesis. We meet every Friday at 11:00 on Zoom. Join us in #seminar-scs for updates.

Previous Interations: Spring 2020, Fall 2019, Spring 2009