Organizers

• Swen Jacobs, CISPA Helmholtz Center for Information Security, Germany
• Guillermo A. Pérez, University of Antwerp, Belgium

Advisory Committee

• Roderick Bloem, Graz University of Technology, Austria
• Armin Biere, Johannes Kepler University, Austria
• Salomon Sickert, Hebrew University of Jerusalem, Israel
• Jean-François Raskin, Université libre de Bruxelles, Belgium
• Bernd Finkbeiner, Saarland University, Germany
• Ayrat Khalimov, Université libre de Bruxelles, Belgium