Egon Börger Rushan Chen Gilles Dowek Hugh Glaser Yuri Gurevich Michael Hanus B. M. Hearn Jan Heering Shaolin Hu Ouyang Huajiang Piotr Kosiuczenko Bernhard Möller Tobias Nipkow Catuscia Palamidessi L. Jason Steggles J. V. Tucker