Call for Participation at the 32nd International Conference Computer-Aided Verification - CAV 2020 - Virtual and admission free event - Registration deadline is July 10th, 2020

Mihaela Rozman mihaela.rozman at
Mon Jul 6 05:04:05 EDT 2020

     [Apologies for multiple copies of this announcement]





               Computer-Aided Verification, 32nd International Conference

               CAV 2020

               Virtual and admission free event,

               Registration closes July 10th, 2020.

             July 19-24, 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 for the CAV 2020 event is free. Registration closes July 10th, 2020. Registration is required to attend the main conference and all associated workshops.


-- CAV 2020 PROGRAM --


Available here

   -- WORKSHOPS (19-21st July)


   -- TUTORIALS (20th July)

   -- MAIN CONFERENCE (21-24 July)



    * 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



    * 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


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


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


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)







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)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200706/b5cb3ade/attachment.html>

More information about the FOM mailing list