Update InferLab.md

teaching/InferLab.md

@@ -12,6 +12,8 @@ A team from Facebook came to College to run a lab on [Infer](http://fbinfer.com/
 developed by a team led by Peter O’Hearn. At [Facebook](https://www.facebook.com/inferstaticanalyzer/), Infer is used every day to verify millions of lines of code. 
 This was part of the [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) MEng and MSc course (404H).
 
+![Infer Lab](images/posts/Infer-lab-1.jpg)
+
 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), 
 Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, gave a tutorial on how to use Infer. 
 The tutorial targeted real world Android applications, such as:
@@ -20,9 +22,13 @@ The tutorial targeted real world Android applications, such as:
  - [Wikipedia Android app](https://github.com/wikimedia/apps-android-wikipedia)
  - [DuckDuckGo](https://github.com/duckduckgo/duckduckgo)
  - [k-9 mail client](https://github.com/k9mail/k-9)
+ 
+ ![Infer Lab](images/posts/Infer-lab-2.jpg)
 
 As well as Facebook, Infer is used by Instagram, kiuwan, oculus, Spotify, UBER, WhatsApp, Marks and Spencer, and Sky. Infer was [open sourced](https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/) in June 2015 
 
+![Infer Lab](images/posts/Infer-lab-3.jpg)
+
 You can find the slides to the tutorial [here](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/teaching/Bi-Abduction-slides-Sutherland.pdf)
 
 You can follow the Infer team on their [blog](http://fbinfer.com/blog/) and [Twitter](https://twitter.com/fbinfer)