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: 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

PROGRAM

https://easychair.org/smart-program/CAV2024/

KEYNOTES

How to Solve Math Problems without Talent

Noriko Arai, National Institute of Informatics (Tokyo, Japan)

July 24, 2024

The Art of SMT Solving

Erika Ábrahám, RWTH Aachen University (Aachen, Germany)

July 26, 2024

VENUE

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