Peter B. Andrews Matthew Bishop Xiaorong Huang Sunil Issar Manfred Kerber Michael Kohlhase Erica Melis Frank Pfenning Jörn Richts Jörg H. Siekmann Hongwei Xi