diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md
index 8ebaafaadc0f5b93e6f4ce8dfbb72e0bd5a49ec0..e7119c4eea97d93a1e31556e9c78179588798176 100644
--- a/teaching/separationlogic.md
+++ b/teaching/separationlogic.md
@@ -9,8 +9,7 @@ sub_menu_order: 1
 
 The Separation Logic course is a 4th year MEng and MSc course on local reasoning about programs that manipulate the heap at the [Department of Computing](http://www.imperial.ac.uk/computing), [Imperial College London](http://www.imperial.ac.uk).
 The course is led by [Philippa Gardner](/people/gardner.html), with support 
-from [Jose Fragoso](https://www.doc.ic.ac.uk/~jfaustin/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/), 
-[Azalea Raad](http://www.soundandcomplete.org/) and [Julian Sutherland](https://psvg.doc.ic.ac.uk/people/sutherland.html).
+from [Jose Fragoso](https://www.doc.ic.ac.uk/~jfaustin/) and [Julian Sutherland](https://psvg.doc.ic.ac.uk/people/sutherland.html).
 
 #### Description of the Course
 
@@ -38,7 +37,7 @@ This work constitutes a breakthrough, in that it is now possible prove propertie
 
 #### General Information for 2016 autumn term
 
-Time:  Mondays 2pm-4pm, 2nd--9th week
+Time:  Tuesdays 4pm-6pm, 2nd--9th week
 
 Coursework Published: Monday 7th of November