[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)
_______________________________________________
uai mailing list
[email protected]
https://it.engineering.oregonstate.edu/mailman/listinfo/uai
