Date	Description
April 4	Reasoning About Code, Part 1 Section Notes
April 11	Reasoning About Code, Part 2 Section Notes Loop Invariant Practice Problems
April 18	Writing Specifications Section Materials
April 25	Testing Slides
May 2	Nullness and Generics
May 9	ADTs, AFs, and RIs Slides AF & RI Handout
May 16	Generics Slides Example Code
May 23	MVC Slides
May 30	Java Swing Handout Example Code
June 6	TBD