Archived Announcements
[Click here for current announcements.]
| Date | Topic | Description | Tue 5/8 | Final exam | Your final exam is ready for those wishing to take it. 72-hour takehome, open book and notes. Please upload your solutions to CMS within 72 hours of checking it out. You may view the exam to decide whether you want to take it, but please do not share with anyone else. |
|---|---|---|
| Tue 5/8 | Final projects | If you are doing a final paper or project and it is in pdf form, please use the Final Exam slot to upload it to CMS on or before May 18. If you are doing a software project, please include instructions for installation and operation and give me access to your repo. If neither of these options is suitable, please contact me to schedule a demo. |
| Thu 4/25 | Notes | I have posted some notes on Safra's construction and S1S to remind you of the formal definitions needed for HW4. I have also posted some notes on probabilistic logic in anticipation of next week's lectures. |
| Thu 4/25 | Homework 4 | HW4 has been released, due Tuesday 5/7. As before, you may work with a partner. If you do, please declare your partnership in CMS. Only one of you needs to submit the solutions. |
| Tue 3/11 | Guest lectures | Dexter will be out of town the week of 3/18. Fred Schneider will be the guest lecturer on Tuesday 3/19 and will speak on safety, liveness, and inline reference monitors. Joe Halpern will be the guest lecturer on Thursday 3/21 and will speak on modal logics of knowledge and belief. These will be fun lectures, so please attend! |
| Tue 3/11 | Hoare logic notes | The source for today's lecture on Cook's relative completeness theorem for Hoare logic can be found here. |
| Fri 3/8 | HKT Ch. 11-17 | Chapters 11-17 of HKT are available here. |
| Fri 3/8 | Homework 3 | HW3 has been released, due Monday 3/25. As before, you may work with a partner. If you do, please declare your partnership in CMS. Only one of you needs to submit the solutions. |
| Thu 2/14 | HKT Ch. 4-10 | Chapters 4-10 of HKT are available here. |
| Fri 3/8 | Dexter out of town | Dexter will be out of town the week of 3/18. We will have a guest lecturer for 3/19 and 3/21. |
| Thu 2/14 | Homework 2 | HW2 has been released, due Thursday 2/28. As before, you may work with a partner. If you do, please declare your partnership in CMS. Only one of you needs to submit the solutions. |
| Thu 1/24 | Homework 1 | HW1 has been released, due Monday 2/11. You may work with a partner. Please see below for instructions for forming your partnership in CMS. |
| Tue 1/22 | CMS | I have added all pre-enrolled students to CMS. Please login here and check that you exist. If you were not pre-enrolled, send me email with your netid. |