[Apologies for multiple copies of this announcement]

******************************************************************

CALL FOR PARTICIPATION

Computer-Aided Verification, 32nd International Conference

CAV 2020

Virtual and admission free event,

Registration closes July 10th, 2020.

July 19-24, 2020

http://i-cav.org/2020/

******************************************************************

-- ABOUT CAV --

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.

-- REGISTRATION --

Registration for the CAV 2020 event is free. Registration closes July 10th, 2020. Registration is required to attend the main conference and all associated workshops.

http://i-cav.org/2020/attending/

-- CAV 2020 PROGRAM --

Available here https://easychair.org/smart-program/CAV2020/

-- WORKSHOPS (19-21st July)

-- VERIFICATION MENTORING WORKSHOP (19-20 July)

-- TUTORIALS (20th July)

-- MAIN CONFERENCE (21-24 July)

-- INVITED SPEAKERS --

* David Dill, Callibra at Facebook: Formal Verification of Libra Blockchain Smart Contracts

* Pushmeet Kohli, Deepmind at Google: Towards Robust Artificial Intelligence via Spec-consistent Machine Learning

-- INVITED TUTORIALS --

* Tevfik Bultan, University of California, Santa Barbara: Quantifying Information Leakage Using Model Counting

* Sriram Sankaranarayanan, University of Colorado, Boulder: Probabilistic Programming: A Guide for Verificationists

-- PUBLIC LECTURE ``Logic Lounge'' --

* Cory Doctorow: Working as Intended: Surveillance Capitalism is not a Rogue Capitalism http://i-cav.org/2020/logic-lounge/

-- CO-LOCATED EVENTS (19-21ST July) --

8 satellite workshops and the Verification Mentoring Workshop will take place during CAV 2020.

http://i-cav.org/2020/workshops-2/

http://i-cav.org/2020/mentoring/

Check their webpages for their schedule and program.

* Numerical Software Verification (NSV)

* Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)

* Workshop on Verification of Neural Networks (VNNb 20) and Verification of Neural Networks Competition (VNN-COMPb 20)

* Workshop on Democratizing Software Verification

* Workshop on Synthesis (SYNT)

* Workshop on Program Equivalence and Relational Reasoning (PERR)

* Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)

* Workshop on Formal Methods for Blockchains (FMBC)

* Verification Mentoring Workshop (VMW)

-- VIRTUAL SOCIAL EVENTS --

TBD

-- ORGANIZERS --

We hope to welcome you to CAV 2020 online!

Shuvendu Lahiri (Microsoft Research) and Chao Wang (University of Southern California)

CAV 2020 Program Co-chairs

(on behalf of the entire CAV 2020 organizing committee)