Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

19 - 24 July 2020, 32nd International Conference on Computer-Aided Verification (CAV 2020), Virtual

Date: 19 - 24 July 2020
Location: Virtual

CAV 2020 is the 32nd 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. Along with the main conference, CAV will feature eight workshops (in addition to the Verification Mentoring Workshop) and tutorials.

For more information, see http://i-cav.org/2020/.

Please note that this newsitem has been archived, and may contain outdated information or links.