Program committee



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