# 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] 2017-03-30
[hw]
  Summary <a href="https://catalyst.uw.edu/quickpoll/vote/loncaric/11268">Topic interest survey</a>
  Time     23:59

# [Auto DateHint] 2017-04-03
[hw]
  Summary <a href="https://courses.cs.washington.edu/courses/cse503/17sp/assignments/hw01-dev-difficulties.pdf">HW01: Development difficulties</a>; submit via Canvas
  Time      12:01

# [Auto DateHint] 2017-04-04
[hw]
  Summary <a href="https://courses.cs.washington.edu/courses/cse503/17sp/assignments/hw02-code-analysis.pdf">HW02: Reasoning about programs</a>; submit via Canvas
  Time      10:59

# [Auto DateHint] 2017-04-07
[hw]
  Summary Form groups for class project and inform Mike and Calvin

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

# [Auto DateHint] 2017-04-14
[hw]
    Summary Project proposal approval

# [Auto DateHint] 2017-04-14
[hw]
  Summary <a href="https://courses.cs.washington.edu/courses/cse503/17sp/assignments/hw03-abstract-interpretation-design.pdf">HW03: Abstract Interpretation Design</a>; submit via Canvas
  Time      23:59

# [Auto DateHint] 2017-04-28
[hw]
    Summary Related work and methodology due; submit via Canvas

# [Auto DateHint] 2017-05-08
[hw]
    Summary <a href="https://courses.cs.washington.edu/courses/cse503/17sp/assignments/hw04-abstract-interpretation-impl.pdf">HW04: Abstract Interpretation Implementation</a>; submit via Canvas
    Time    23:59

# [Auto DateHint] 2017-05-19
[hw]
    Summary Initial results due; submit via Canvas

# [Auto DateHint] 2017-06-02
[hw]
    Summary Final report due; submit via Canvas