[madPL] Fwd: CAV 2020 -- Call for Participation

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

CAV is free this year. If you can, you should attend

---------- Forwarded message ---------
From: CAV 2020 <cav2020@xxxxxxxxxxxxx>
Date: Fri, Jul 3, 2020 at 1:55 AM
Subject: CAV 2020 -- Call for Participation
To: Loris D'Antoni <loris@xxxxxxxxxxx>

Dear Loris D'Antoni,

Please find the CAV 2020 Call for Participation (CFP). Looking forward to seeing you at the online event!

Regards,
Shuvendu Lahiri and Chao Wang
CAV PC co-chairs

------------------------------------------------------------------------


  Â[Apologies for multiple copies of this announcement]

******************************************************************
        ÂCALL FOR PARTICIPATION

Computer-Aided Verification, 32nd International Conference
          ÂCAV 2020
     ÂVirtual event, 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 (VNNâ20) and Verification of Neural Networks Competition (VNN-COMPâ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)

--

-Loris