Ivona Brandic
Vienna University of Technology,  Austria

Gabriel Ciobanu
Romanian Academy, Institute of Computer Science, Iasi

Tetsuo Ida
University of Tsukuba, Japan

Jose Torres Jimenez
CINVESTAV, Mexico

Leonardo de Moura
Microsoft Research, USA

Grigore Rosu
University of Illinois at Urbana-Champaign, USA

Dan A. Simovici
University of Massachusetts Boston, USA