Update separationlogic.md

teaching/separationlogic.md

@@ -35,13 +35,13 @@ 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 2018 autumn term
+#### General Information for 2019 autumn term
 
-*Time:*  Tuesdays 2pm-4pm, 2nd through 9th week, Room 140.
+*Time:*  Tuesdays 2pm-4pm, 2nd through 9th week, Room 130.
 
-*Coursework:* Published Tue 30th Oct, 9 AM / deadline Fri 9th Nov, 4 PM.
+*Coursework:* Published Tues 29th Oct, 9 AM / deadline Fri 8th Nov, 4 PM.
 
-*Exam:* The exam will take place on Tuesday, December 11th, at 11:40, room TBC. It will last for 70 minutes. 
+*Exam:* The exam will take place December, date and time TBC. It will last for 70 minutes. 
 You will be given three questions, out of which you need to answer two of your choice.
 
 *Recommended Reading:* Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/archive/mjcg/HL/),