# One [hw] section per 'hw' in the schedule file.

#[hw]
#  Summary <a href='../homework/hw1.shtml'>HW1 out</a>

#[hw]
#  Summary  HW1 due
#  Time     23:59

# [Auto DateHint] 2018-01-04
[hw]
  Summary <a href="../lectures/lecture02-abstract-interpretation-questions.txt">Reading questions</a>; submit via Canvas
  Time      23:59

# [Auto DateHint] 2018-01-08
[hw]
  Summary <a href="../assignments/hw01-dev-difficulties.pdf">HW01: Development difficulties</a>; submit via Canvas
  Time      23:59

# [Auto DateHint] 2018-01-09
[hw]
  Summary <a href="../lectures/lecture03-abstract-interpretation-questions.txt">Reading questions</a>; submit via Canvas
  Time      23:59

# [Auto DateHint] 2018-01-12
[hw]
  Summary Form groups for class project and inform Mike and Calvin

# [Auto DateHint] 2018-01-17
[hw]
  Summary <a href="../project.html\#week-2-proposal">Project proposals</a> due; submit via Canvas
  Time    23:59

# [Auto DateHint] 2018-01-19
[hw]
  Summary Project proposal approval

# [Auto DateHint] 2018-01-19
[hw]
  Summary <a href="../assignments/hw02-abstract-interpretation-design.pdf">HW02: Abstract Interpretation Design</a>; submit via Canvas
  Time    23:59

# [Auto DateHint] 2018-01-25
[hw]
  Summary <a href="../lectures/types-questions.txt">Reading questions</a>; submit via Canvas
  Time      23:59

# [Auto DateHint] 2018-02-01
[hw]
  Summary <a href="../lectures/types-abstract-type-inference-questions.txt">Reading questions</a>; submit via Canvas
  Time      23:59

# [Auto DateHint] 2018-02-02
[hw]
  Summary Related work and methodology due; submit via Canvas
  Time    23:59

# [Auto DateHint] 2018-02-14
[hw]
  Summary <a href="../assignments/hw03-abstract-interpretation-impl.pdf">HW03: Abstract Interpretation Implementation</a>; submit via Canvas
  Time    23:59

# [Auto DateHint] 2018-02-23
[hw]
  Summary Initial results due; submit via Canvas
  Time    23:59

# [Auto DateHint] 2018-02-27
[hw]
  Summary <a href="../lectures/model-checking-questions-2.txt">Reading questions</a>; submit via Canvas
  Time    23:59

# [Auto DateHint] 2018-03-06
[hw]
  Summary Key ideas; submit via Canvas
  Time    23:59

# [hw]
#   Summary <a href="../lectures/model-checking-questions-3.txt">Reading questions</a>; submit via Canvas
#   Time    23:59

# [Auto DateHint] 2018-03-12
[hw]
  Summary Final report due; submit via Canvas
  Time    23:59

# [Auto DateHint] 2018-03-14
[hw]
  Summary Final presentation slides due; submit via Canvas
  Time    23:59