36th International Conference on Computer Aided Verification

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

VENUE

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