JavaScript is disabled. Some interactive features on this site may not work correctly. Please enable JavaScript to use them.

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.

CAV 2027

Organization

Call for PC Self-Nominations

Self-nominations for the CAV 2027 Program Committee are welcome by October 10, 2026.

Read the call and nominate yourself

General Chairs + PC Chairs

Marieke Huisman University of Twente
Joost-Pieter Katoen RWTH Aachen University & University of Twente

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

Organisation Support

Marion Steenbergen University of Twente

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