Merge branch 'master' of gitlab.doc.ic.ac.uk:resource-reasoning/psvg.doc.ic.ac.uk

research/separationlogic.md

@@ -5,9 +5,7 @@ menu: true
 menu_order: 5
 ---
 
-### Separation Logic: Local Reasoning about Programs (404H) 
-
-This is a 4th year MEng. and Master course on local reasoning about programs that manipulate the heap at [Department of Computing](http://www.imperial.ac.uk/computing), [Imperial College London](http://www.imperial.ac.uk).
+This 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).
 
 #### Description of the Course