We are pleased to announce that the MOVES group at RWTH Aachen University, together with the University of Twente, will organize CAV 2027, the 39th International Conference on Computer-Aided Verification, in Amsterdam, The Netherlands.

CAV is the flagship conference in the field of automated verification. The 2027 edition will take place from July 19–23, 2027, at KIT in Amsterdam and will be the first CAV edition held in the Netherlands. The conference website is now online: https://conferences.i-cav.org/2027/.

The conference is co-chaired by Joost-Pieter Katoen from the MOVES group and Marieke Huisman from the University of Twente. From MOVES, Philipp Schröer and Tim Quatmann are also involved in the organization, serving as Website Chair and one of the Artifact Evaluation Chairs, respectively.