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, Université libre de Bruxelles, Belgium

Leave a Reply

Your email address will not be published. Required fields are marked *