Site maintenance announcement: HotCRP.com will become unavailable for a short maintenance period at approximately 16:00 EDT (20:00 GMT) on Sunday, June 15.
| Name | Affiliation |
|---|---|
| Andrew Kennedy chair | |
| Clark Gaebel | Jane Street |
| Gabriel Scherer | INRIA |
| John Whitington | University of Leicester |
| Jonathan Protzenko | Microsoft Research |
| Kanae Tsushima | Kyoto University |
| Nicolás Ojeda Bär | LexiFi |
| Stephen Dolan | OCaml Labs, University of Cambridge |