diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md
index e7119c4eea97d93a1e31556e9c78179588798176..83e9ba14ee3359e045cc1f315461ee0f57924f79 100644
--- a/teaching/separationlogic.md
+++ b/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