change

index.md

@@ -5,4 +5,8 @@ menu: true
 menu_order: 1
 ---
 
-This research group focuses on mechanised language specification and program verification.  We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language. We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client. We are developing compositional program reasoning techniques that scale, leading to automatic tools for verifying properties of programs. Our current focus is on reasoning about JavaScript and Concurrency. Much of our work is based on Separation Logic. See details of our fourth-year/MSc course [here](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html).
+This research group focuses on mechanised language specification and program verification. 
+We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language. 
+We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client. 
+We are developing compositional program reasoning techniques that scale, leading to automatic tools for verifying properties of programs.
+Our current focus is on reasoning about JavaScript and Concurrency. Much of our work is based on Separation Logic. See details of our fourth-year/MSc course [here](/teaching/separationlogic.html).

publications @ 6f5a6c5d

-Subproject commit 1b92f81b5d4a40cab2150c42035c98c5a5f152e3
+Subproject commit 6f5a6c5d0a76c933312e8bc279d7d61b6a31b881

teaching/InferLab.md

 ---
 title: Separation Logic Infer Lab 2016
-project_id: infer
-menu: true
+project_id: infe
+menu: false
 parent_menu: Teaching
 menu_order: 5
 sub_menu_order: 2

teaching/ModelsComputation.md

 ---
 title: Models of Computation 
 project_id: moc
-menu: true
+menu: false
 parent_menu: Teaching
 menu_order: 5
 sub_menu_order: 3

teaching/separationlogic.md

 ---
 title: Separation Logic 
 project_id: sl
-menu: true
+menu: false
 parent_menu: Teaching
 menu_order: 5
 sub_menu_order: 1