# 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] 2019-04-03 Week 1 Wednesday
[hw]
  Summary <a href="../assignments/hw01-dev-difficulties.pdf">HW01: Development difficulties</a>; submit via Canvas
  Time      23:59

# [Auto DateHint] 2019-04-04 Week 1 Thursday
[hw]
  Summary Read <a href="../submissions/hw01-submissions-19sp.zip">HW1 submissions</a>.

# [Auto DateHint] 2019-04-09 Week 2 Tuesday
[hw]
  Summary Form groups for class project and inform the course staff

# [Auto DateHint] 2019-04-10 Week 2 Wednesday
[hw]
  Summary <a href="../lectures/lecture02-abstract-interpretation-questions.txt">Reading questions on abstract interpretation lecture 2</a>; submit via Canvas
  Time      00:01

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

# [Auto DateHint] 2019-04-15 Week 3 Monday
[hw]
  Summary Read <a href="../submissions/proposals-19sp.zip">project proposals</a>.

# [Auto DateHint] 2019-04-15 Week 3 Monday
[hw]
  Summary <a href="../lectures/lecture03-abstract-interpretation-questions.txt">Reading questions on abstract interpretation lecture 3</a>; submit via Canvas
  Time      00:01

# [Auto DateHint] 2019-04-17 Week 3 Wednesday
[hw]
  Summary <a href="../lectures/lecture05-delta-debugging-questions.txt">Reading questions on delta debugging</a>; submit via Canvas
  Time      00:01

# [Auto DateHint] 2019-04-19 Week 3 Friday
[hw]
  Summary Project proposal approval

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

# [Auto DateHint] 2019-04-23 Week 4 Tuesday
[hw]
  Summary Re-submit project proposal, via Canvas; (<a href="../submissions/proposals-2-19sp.zip">submissions</a>)
  Time      23:59

# [Auto DateHint] 2019-04-24 Week 4 Wednesday
[hw]
  Summary <a href="../lectures/types-questions.txt">Reading questions on types</a>; submit via Canvas
  Time      00:01

# [Auto DateHint] 2019-04-26 Week 4 Friday
[hw]
  Summary Related work and methodology due; submit via Canvas
  Time    23:59

# [Auto DateHint] 2019-05-01 Week 5 Wednesday
[hw]
  Summary <a href="../lectures/types-abstract-type-inference-questions.txt">Reading questions on type inference</a>; submit via Canvas
  Time      00:01

# [Auto DateHint] 2019-05-08 Week 6 Wednesday
[hw]
  Summary <a href="../assignments/hw03-abstract-interpretation-impl.pdf">HW03: Abstract Interpretation Implementation</a>; submit via Canvas
  Time    23:59

# [Auto DateHint] 2019-05-16 Week 7 Thursday
[hw]
  Summary Initial results due; submit via Canvas
  Time    23:59

# [Auto DateHint] 2019-05-22 Week 8 Wednesday
[hw]
  Summary <a href="../lectures/model-checking-questions-2.txt">Reading questions on model checking lecture 2</a>; submit via Canvas
  Time    00:01

# [Auto DateHint] 2019-05-31 Week 9 Friday
[hw]
  Summary Key ideas; submit via Canvas
  Time    23:59

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

# [Auto DateHint] 2019-06-03 Week 10 Monday
[hw]
  Summary Final report due; submit via Canvas
  Time    23:59

# [Auto DateHint] 2019-06-10 Week 11 Monday
[hw]
  Summary Final presentation slides due; submit via Canvas
  Time    00:01

# [Auto DateHint] 2019-06-13 Week 11 Thursday
[hw]
  Summary Revised final report
  Time    23:59