36th International Conference on Computer Aided Verification

from July 22-27, 2024, at Concordia University, Montreal, Canada

IMPORTANT DATES

All deadlines are AoE (Anywhere on Earth)

• Paper submission: January 19, 2024 (submissions can be updated until January 26, 2024)
• Rebuttal period: February 29 – March 3, 2024 March 5 – March 8, 2024
• Author notification: March 26, 2024
• Artifact submission: April 8, 2024 (mandatory for tool papers)
• Artifact notification: May 10, 2024
• Final version due: May 19, 2024
• Workshops: July 22-23, 2024
• Main Conference: July 24-27, 2024

KEYNOTE SPEAKERS

Noriko Arai, National Institute of Informatics (Tokyo, Japan): July 24, 2024

Leonardo de Moura, AWS (Seattle, US): July 25, 2024

Erika Ábrahám, RWTH Aachen University (Aachen, Germany): July 26, 2024

VENUE

CAV 2024 will be held at Concordia University Conference Centre, Montreal, Canada.