also thank the SC for their advice, the Organizing Committee of ETAPS 2020 and
its general chair (Tiziana Margaria) and the chair of the ETAPS Executive Board
(Marieke Huisman).
March 2020
Armin Biere
David Parker
PC Chairs
Marijn Heule
Case Study Chair
Falk Howar
Tools Chair
Dirk Beyer
Competition Chair
Arnd Hartmanns
Martina Seidl
AEC Chairs
Preface
ix