Committees

Program Chairs

Kristin Yvonne Rozier (Iowa State University, Ames, USA)
Gidon Ernst (Ludwig-Maximilians-Universität München, Germany)

Program Committee

TBA

Artifact Evaluation Chairs

Julie Cailler (University of Lorraine & Inria, France)
Nian-Ze Lee (LMU Munich / National Taiwan University)

Artifact Evaluation Committee

TBA

Steering Committee

Anton Wijs (Eindhoven University of Technology, Netherlands, chair)
Stefan Leue (University of Konstanz, Germany)
Susanne Graf (Verimag, France)
Gerard Holzmann (Nimble Research, USA)
Jaco van de Pol (Aarhus University, Denmark)
Neha Rungta (AWS, USA)
Willem Visser (Stellenbosch University, South Africa)
Georgiana Caltais (University of Twente, Netherlands)
Christian Schilling (Aalborg University, Denmark)