JavaScript is disabled. Some interactive features on this site may not work correctly. Please enable JavaScript or use a current browser for the best experience.

Your browser may be outdated. Some visual or interactive features on this site may not work correctly. Please use a current browser for the best experience.

Organization

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