Dear colleagues,
The 39th International Conference on Computer Aided Verification (CAV 2027) welcomes self-nominations for Program Committee (PC) members. Researchers working in verification and related areas are invited to submit their nomination by October 10, 2026. Selection will consider relevant expertise and the overall balance of the committee.
Nominations can be made by filling this form: https://forms.gle/VKJ3CBLDWctrDMqb9
Contact
For any questions please contact the PC chairs via cav2027@lists.utwente.nl.
PC Chairs
-
Marieke Huisman
University of Twente
-
Joost-Pieter Katoen
RWTH Aachen University & University of Twente