diff --git a/teaching/InferLab.md b/teaching/InferLab.md index c80f4609ee9e127ce03a6d6d4f6945ec582b11b8..6c24bf4879974f97003aa172e085ff2d118b6c3a 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -23,6 +23,6 @@ The tutorial targeted real world Android applications, such as: 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 -You can find the slides to the tutorial here +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)