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. |