From 8dfaa1e5745d9554309843738b011c72ea6a1af9 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 5 Oct 2017 10:24:58 +0100 Subject: [PATCH] Update separationlogic.md --- teaching/separationlogic.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md index 8ebaafa..e7119c4 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 -- GitLab