Luca de Alfaro Julien Basch Nikolaj Bjørner Anca Browne Edward Y. Chang Michael Colón Dominic J. D. Hughes Piotr Indyk Arjun Kapur Jaejin Lee Zohar Manna Gordon D. Plotkin Vaughan R. Pratt Henny B. Sipma Tomás E. Uribe Li Zhang