Program committee



Name Affiliation
John Whitington University of Leicester
Stephen Dolan OCaml Labs, University of Cambridge
Jonathan Protzenko Microsoft Research
Nicolás Ojeda Bär LexiFi
Kanae Tsushima Kyoto University
Clark Gaebel Jane Street
Gabriel Scherer INRIA
Andrew Kennedy chair Facebook