Philippa Gardner gave a public live-stream technical talk on Gillian, Verification of JavaScript and C, hosted by Galois.

The talk gave a general introduction to Gillian, a platform for the development of symbolic-execution tools for many programming languages.

Galois is a company specialising on applying formal analysis techniques to the design of critical software systems. It runs a program of public technical talks, many of which are available online.