Schedule Date Lectures Labs Quiz 09.02 Introduction Cedar Q1 16.02 Hoare Logic Fundamentals Dafny introduction 23.02 (Independence Day) 02.03 09.03 16.03 23.03 30.03 06.04 13.04 20.04 27.04 04.05 11.05 18.05 25.05
