19-24 Jul 2020
******************************************************************
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)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam