Organization

Organizers

Advisory Committee

  • Roderick Bloem, Graz University of Technology, Austria
  • Armin Biere, Johannes Kepler University, Austria
  • Jean-François Raskin, Université libre de Bruxelles, Belgium
  • Bernd Finkbeiner, Saarland University, Germany
  • Ayrat Khalimov, TU Clausthal, Germany
  • Tom van Dijk, University of Twente, The Netherlands

Leave a Reply