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)
TIME: 9:15 – 10:15 July 24, 2024
LOCATION: MB 1.210
Lean 4: Bridging Formal Mathematics and Software Verification
Leonardo de Moura, AWS (Seattle, US)
TIME: 11:00 – 12:00 July 25, 2024
LOCATION: MB 1.210
The Art of SMT Solving
Erika Ábrahám, RWTH Aachen University (Aachen, Germany)
TIME: 11:00 – 12:00 July 27, 2024
LOCATION: MB 1.210
VENUE
CAV 2024 will be held at Concordia University Conference Centre, Montreal, Canada.
PROCEEDING ACCESS
Conference participants have free access to the conference proceedings starting on 24th July 2024 for 4 weeks. Please use the following links: