Update separationlogic.md

teaching/separationlogic.md

@@ -35,15 +35,15 @@ This work constitutes a breakthrough, in that it is now possible prove propertie
 
 * The last week will provide an introduction to concurrent separation logics. With Brookes, O'Hearn won the Godel prize for this work in 2016.
 
-#### General Information for 2016 autumn term
+#### General Information for 2017 autumn term
 
 Time:  Tuesdays 4pm-6pm, 2nd--9th week
 
-Coursework Published: Monday 7th of November
+Coursework Published: Monday 6th of November
 
-Submitted: Wednesday 16th of November 
+Submitted: Wednesday 15th of November 
 
-Feedback: Monday 21st of November
+Feedback: Monday 20tht of November
 
 Exam: 11th week