Computer Aided Verification : 32nd International Conference, CAV 2020 Los Angeles, CA, USA, July 21–24, 2020 Proceedings, Part I
Autor
Lahiri, Shuvendu K.
Wang, Chao
Institución
Resumen
It was our privilege to serve as the program chairs for CAV 2020, the 32nd
International Conference on Computer-Aided Verification. CAV 2020 was held as a
virtual conference during July 21–24, 2020. The tutorial day was on July 20, 2020, and
the pre-conference workshops were held during July 19–20, 2020. Due to the
coronavirus disease (COVID-19) outbreak, all events took place online.
CAV is an annual conference dedicated to the advancement of the theory and
practice of computer-aided formal analysis methods for hardware and software systems. The primary focus of CAV is to extend the frontiers of verification techniques by
expanding to new domains such as security, quantum computing, and machine
learning. This puts CAV at the cutting edge of formal methods research, and this year’s
program is a reflection of this commitment.
CAV 2020 received a very high number of submissions (240). We accepted 18 tool
papers, 4 case studies, and 43 regular papers, which amounts to an acceptance rate of
roughly 27%. The accepted papers cover a wide spectrum of topics, from theoretical
results to applications of formal methods. These papers apply or extend formal methods
to a wide range of domains such as concurrency, machine learning, and industrially
deployed systems. The program featured invited talks by David Dill (Calibra) and
Pushmeet Kohli (Google DeepMind) as well as invited tutorials by Tevfik Bultan
(University of California, Santa Barbara) and Sriram Sankaranarayanan (University of
Colorado at Boulder). Furthermore, we continued the tradition of Logic Lounge, a
series of discussions on computer science topics targeting a general audience.
In addition to the main conference, CAV 2020 hosted the following workshops:
Numerical Software Verification (NSV), Verified Software: Theories, Tools, and
Experiments (VSTTE), Verification of Neural Networks (VNN), Democratizing Software Verification, Synthesis (SYNT), Program Equivalence and Relational Reasoning
(PERR), Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), Formal
Methods for Blockchains (FMBC), and Verification Mentoring Workshop (VMW).