CPU seminars cover recent research from our and other groups.

Software Correctness	Fri 11:00	Zoom
High Performance	Tue 10:45	Zoom
Functional Programming	Mon 2:00	Zoom

Visitors and Talks

7 Jan Danny Dig on Refactoring Research
8 Jan Max Willsey on EGG
11 Feb Martin Kellogg on Verifying Object Construction
26 Feb Mark and Ian on The Architecture of Gelpia
5 Mar James R. Wilcox on Verifying Transition Systems