General Chairs + PC Chairs
-
Marieke Huisman
University of Twente
-
Joost-Pieter Katoen
RWTH Aachen University
Steering Committee
-
Orna Grumberg
Technion
-
Aarti Gupta
Princeton University
-
Daniel Kröning
Amazon
-
Ken McMillan
University of Texas at Austin
Local Chair
-
Thomas van Binsbergen
University of Amsterdam
Artifact Evaluation Chairs
-
Tim Quatmann
RWTH Aachen University
-
Tom van Dijk
University of Twente
Workshop Chair
-
Sebastian Junges
Radboud University
Industry Day Chair
-
Mariëlle Stoelinga
University of Twente
Fundraising Chairs
-
Mariëlle Stoelinga
University of Twente
-
Anton Wijs
Eindhoven University of Technology
Publicity Chair
-
Georgiana Caltais
University of Twente
Proceedings Chair
-
Ernst Moritz Hahn
University of Twente
Financial Chair
-
Arnd Hartmanns
University of Twente
Volunteers Chair
-
Fernando Castor
University of Twente
Merchandising Chair
-
Milan Lopuhaä-Zwakenberg
University of Twente
Website Chair
-
Philipp Schröer
RWTH Aachen University
Mentoring Workshop Chairs
-
Mukund Raghothaman
University of Southern California
- TBA