Invited speakers

  • 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… to be extended