Editors

Editor-in-Chief

• Vijay Ganesh
• Ilias S. Kotsireas

Editorial Board Member

• Erika Abraham
• Olaf Beyersdorff
• Jasmin Blanchette
• Armin Biere
• Sam Buss
• Matthew England
• Jacques Fleuriot
• Pascal Fontaine
• Arie Gurfinkel
• Marijn Heule
• Reinhard Kahle
• Phokion Kolaitis
• Antonina Kolokolova
• Ralph Matthes
• Assia Mahboubi
• Jakob Nordström
• Prakash Panangaden
• Kristin Yvonne Rozier
• Thomas Studer
• Cesare Tinelli