Organizers

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

Technical Assistance

• Felix Klein, Saarland University, Germany

External Advisors

• Armin Biere, Johannes Kepler University (JKU), Linz, Austria
• Rüdiger Ehlers, University of Bremen, Germany