Assignments

All dates and times listed are in US Eastern Time

Assignment Date Out Date Due Reading
Oracle Fri 1/25 Sat 2/1, 11:59pm 4 Billion Floats
Forge 1 Fri 1/31 Fri 2/7, 11:59pm Optional Reading
Forge 2 Mon 2/10 Sun 2/16, 11:59pm
Forge 3 Sun 2/16 Sun 2/23, 11:59pm AWS Automated Reasoning
Forge 4 Sun 2/23 Sat 2/29, 11:59pm Case Study
Midterm Project 1 Sun 3/1 Thu 3/12, 11:59pm Lab 2 Solution
Additional resource
SAT Mon 3/30 Tue 4/7, 11:59pm
Natural Deduction Wed 4/8 Thu 4/16
LTL Fri 5/1 Sun 5/10, 11:59pm
Final Project Proposal Wed 3/25 Fri 4/4, 11:59pm
Final Project Due Electronically Sun 5/3, 11:59pm
Final Project Presentations Mon 5/4 - Wed 5/6
Assignment Reading
Oracle

Out: Fri 1/25
Due: Sat 2/1, 11:59pm
Forge 1

Out: Fri 1/31
Due: Thu 2/6, 11:59pm
Forge 2

Out: Mon 2/10
Due: Sun 2/16, 11:59pm
Forge 3

Out: Sun 2/16
Due: Sun 2/23, 11:59pm
AWS Automated Reasoning
Forge 4

Out: Sun 2/23
Due: Sat 2/29, 11:59pm
Case Study
Midterm Project 1

Out: Sun 3/1
Due: Thu 3/12, 11:59pm
Additional resource
SAT

Out: Mon 3/30
Due: Tue 4/7, 11:59pm
Natural Deduction

Out: Wed 4/8
Due: Thu 4/6, 11:59pm
LTL

Out: Fri 5/1TBD
Due: Sun 5/10, 11:59pmTBD
Final Project Proposal

Due: Fri 4/4, 11:59pm
Final Project Due Electronically

Due: Sun 5/3, 11:59pm
Final Project Presentations

Mon 5/4 - Wed 5/6

Some resources for working with Forge:

Note that Forge is largely similar to Alloy, but differs in a few ways, so if you ever have a question about Forge’s syntax, don’t hesitate to ask at hours or on Piazza!
Please don't hesitate to reach out to the TA staff if you think there may be a problem with Forge.



Labs

Labs should be started during lab hours of the week they are released. You should aim to complete each lab in the given lab timeslot, although it can be completed alone if you don't finish. You must get your work checked off by a TA to receive credit. Each lab can be checked off up to a week after it is released.

Lab Date Out Date Due
Python Lab (Optional) n/a n/a
Forge Lab 1 Tue 2/4 At lab section, week of 2/10
Forge Lab 2 Tue 2/11 At lab section, week of 2/17
Forge Lab 3 Tue 2/18 Week of 2/24
Forge Lab 4
wetdry-commentary.rkt
Tue 3/3 At lab section, week of 3/9
Spin Lab
rude_smiths.pml
polite_smiths.pml
Tue 3/10 At lab section, week of 3/30
Lab Due Dates
Python Lab (Optional) n/a
Forge Lab 1 Out: Mon 2/3
Due: At lab section, week of 2/10
Forge Lab 2 Out: Mon 2/10
Due: At lab section, week of 2/17
Forge Lab 3 Out: Tue 2/18
Due: At lab section, week of 2/24
Forge Lab 4 Out: Tue 3/3
Due: At lab section, week of 3/9
Spin Lab Out: Tue 3/10
Due: At lab section, week of 3/30

Lab hours will be held Tuesdays and Wednesdays in the Sunlab (CIT 143). You must attend the lab hours you signed up for.

Day Time TAs
Tuesday (Section A) 5-7pm Ariana (HTA), Izzy, Alex
Tuesday (Section B) 7-9pm Mark (HTA), Champ, Luke
Wednesday (Section C) 5-7pm Charlie (HTA), David, Amy
Wednesday (Section D) 7-9pm Charlie (HTA), Andrew, Sarah