I have joined the CAV 2027 Program Committee.

The International Conference on Computer Aided Verification (CAV) is the flagship conference dedicated to advancing the theory and practice of computer-aided formal analysis methods for hardware and software systems.

From the conference Web page:

CAV 2027 is the 39th edition of CAV, and takes place—for the first time ever—in the Netherlands.
The conference spans theoretical results, algorithms, implementation techniques, and concrete applications, with a strong emphasis on practical verification tools. CAV continues to spur progress in hardware and software verification while broadening its scope to emerging domains, including machine learning, quantum verification, autonomous systems, and computer security.