- Armin Biere, Johannes Kepler University, Linz, Austria
- Bruno Buchberger, Johannes Kepler University, Linz, Austria
- Panagiota Fatourou, University of Crete, Crete
- Tetsuo Ida, University of Tsukuba, Japan
- Gheorghe Păun, Romanian Academy, Romania
- Klaus-Dieter Schewe, Software Competence Center Hagenberg, Linz, Austria
- Dongming Wang, Beihang University and Guangxi University for Nationalities, China and CNRS, France