CAV 2023

Date: Jul 17, 2023 12:00 am – Jul 22, 2023 12:00 pm
Location: Paris, France

35th International Conference on Computer Aided Verification

CAV 2023 is the 35th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as machine learning, autonomous systems, and computer security.


AI-assisted Programming: Applications, Experiences, and Neuro-symbolic perspectives
Sumit Gulwani, Microsoft Research

Privacy-preserving Automated Reasoning
Ruzica Piskac, Yale University

Verified Software Security Down to Gates
Caroline Trippel, Stanford University

  • 2023
  • Conference
Submitted by Anonymous on