CAV 2024 | Regular tickets

36th International Conference on Computer Aided Verification

Welcome to the 36th International Conference on Computer Aided Verification! Get ready for an immersive experience in cutting-edge research and networking opportunities, all set against the backdrop of beautiful Montreal, Canada. Here's what your ticket includes:

Event Details:

• Dates: July 22-27, 2024
• Venue: Concordia University Conference Centre, Montreal, Canada

Conference tickets:

The conference ticket on July 24-27 includes access to the reception, banquet, as well as AM/PM coffee and tea breaks.

Workshop tickets:

Additionally, attendees of the conference workshops on July 22-27 will also have access to AM/PM coffee and tea breaks.