CAV 2019 is the 31st 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.
All deadlines are AOE (Anywhere on Earth).
Paper submission: February 7, 2019 (firm)
Rebuttal period: March 25-27, 2019
Author notification: April 17, 2019
Artifact submission for full papers: May 1, 2019
Artifact notification for full papers: May 20, 2019
Final version due: May 22, 2019