University of Cincinnati Logo

20-CS-626 - Formal Methods
School of Computing Sciences and Informatics

Snow Policy
  1. If school is closed, there will be no class.
  2. If school closing time overlaps class time, here will be no class.
  3. If school is open during class time and I cannot make it in or believe there is unwarranted risk in doing so I will contact all students by blackboard email telling them class is cancelled and I will post this information in the news section of the course webpage (linked from the left-margin navigation column.
Paul Erdos
Ladies on Campus
Oscar Robinson