Philippa will be one of the speakers at this year’s Code Mesh, a two-day conference on functional programming languages and alternative tech.

The talk, on Gillian, will give a general introduction to the multi-language platform for symbolic program analysis and its instantiation to JavaScript and C.