Archived Announcements
[Click here for current announcements.]
| Date | Topic | Description |
|---|---|---|
| Tue 1/23 | HW1 | HW1 is available in CMS, due Wednesday 2/7. You may work with a partner. If you do, please form a group in CMS. Only one of you needs to submit the solutions. |
| Thu 1/25 | Office hours canceled | Dexter's office hours today are canceled due to a medical appointment. |
| Thu 1/25 | Office hours change | Dexter has to change his office hours because of a conflict with the CS dept colloquium. His new hours will be TR 1–2pm. |
| Wed 2/7 | HW2 | HW2 is available in CMS, due Wednesday 2/21. As before, you may work with a partner. If you do, please form a group in CMS. Only one of you needs to submit the solutions. |
| Wed 2/21 | HW3 | HW3 is available in CMS, due |
| Wed 2/21 | Homework partners | If anyone who has been working on the homework alone would like to work with a partner in the future, please get in touch with Goktug. He will try to match you up. |
| Thu 2/22 | HW3 extension | The due date for HW3 has been extended to Friday, 8 March due to February break. |
| Sat 3/9 | Final due date | The final exam schedule has been released by the university. Our final deliverable due date is 4:30pm, 5/13. |
| Sat 3/9 | HW4 | HW4 is available in CMS, due Friday 3/22. Partners allowed as usual, but please form a group in CMS. |
| Mon 3/25 | HW5 | HW5 is available in CMS, due Wednesday 4/17. Partners allowed as usual, but please form a group in CMS. |
| Mon 3/25 | Final deliverable | I have posted some papers (index here) on some KA-related subjects as inspiration for final paper or project ideas. You are by no means limited to these. |
| Mon 4/8 | This week | Lectures this week will cover the basics of NetKAT. No lecture notes, but the original papers are here and here. |
| Mon 4/8 | Final projects | Please get in touch with Goktug sometime this week to go over your final project proposals. Please also submit a synopsis of your proposal (no more than one page please) to CMS. |
| Wed 4/10 | Office hours | Dexter's office hours tomorrow 4/11 postponed to 4:30-5:30 due to an A exam. |
| Mon 4/15 | Office hours | Dexter's office hours Thu 4/18 moved to 11:30-12:30 due to travel. |
| Mon 4/15 | Next week | Dexter will be out of town the week of 4/22. Goktug will be lecturing. |
| Tue 4/30 | Lecture today | Lecture today will be at the usual time and place. |
| Mon 5/6 | Office hours | Dexter's office hours tomorrow (5/7) will be postponed one hour to 2-3pm due to a conflicting meeting. |
| Wed 5/8 | Final grades | The official due date for final projects is 4:30pm May 13, but as usual we will allow some flexibility. However, 8am Tuesday May 28 is the absolute deadline for us to get final grades in, so please keep that in mind. |
| Mon 5/20 | Office hours | Dexter's office hours will be moved to 11am-12pm on both Tuesday and Thursday of this week due to conflicts. |