diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md index c77675b428800a77c68e61957b3e18a2d9417731..4624b3f9278549fddd8d458f6055814351a16d07 100644 --- a/teaching/separationlogic.md +++ b/teaching/separationlogic.md @@ -41,9 +41,9 @@ Time: Tuesdays 4pm-6pm, 2nd--9th week Coursework Published: Monday 6th of November -Submitted: Wednesday 15th of November +Submitted: Thursday 16th of November by 16:00 -Feedback: Monday 20th of November +Feedback: Tuesday 21st of November Exam: TBC 11th week