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 find the slides to the tutorial [here](/teaching/Bi-Abduction-slides-Sutherland.pdf)