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, 2024March 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.