* Thomas Hales, University of Pittsburgh, USA * Masakazu Kojima, Tokyo Institute of Technology, Japan * Kurt Mehlhorn, Max Planck Institute for Informatics, Saarbruecken, Germany * William Stein, University of Washington, USA