Apologies for multiple copies of this email.
*****************************************************************
CALL FOR PARTICIPATION
28th International Conference on Computer Aided Verification
(CAV 2016), July 17–23, 2016
Hyatt Regency Toronto
Toronto, Ontario, Canada
http://i-cav.org/2016/
******************************************************************
Highlights
----------
* 46 regular papers, 12 tool papers
* Four invited talks, four invited tutorials
* Talk by a winner of the 2016 CAV award
Registration deadline
-------------------
* Early registration deadline: June 10, 2016
* Register at https://regmaster4.com/2016conf/CAV16/register.php
Hotel registration
--------------------
* Hotel Registration Deadline: June 17, 2016
* Special block rate (available until the above deadline): 179 CAD/night
* Book at https://aws.passkey.com/event/14116269/owner/1460357/home
Conference program
--------------------
Available at http://i-cav.org/2016/program/
Invited talks
----------------------
* Gilles Barthe (IMDEA Software Institute)
Computer-aided Cryptography
* Gerwin Klein (NICTA and University of New South Wales)
Scaling Up - From Trustworthy seL4 to Trustworthy Systems
* Moshe Vardi (Rice University)
Constrained Sampling and Counting
* A winner of the 2016 CAV Award
(To be announced at the conference)
Invited tutorials
---------------------------
* Parosh Abdulla (Uppsala University)
Small Models in Parameterized Verification
* Vitaly Chipounov (EPFL)
The S2E Platform: Design, Implementation, and Applications
* Paulo Tabuada (UCLA)
Synthesizing Robust Cyber-Physical Systems
* Martin Vechev and Pavol Bielek (ETH)
Machine Learning for Programs
Associated workshops
-----------------------------
* NSV: 9th International Workshop on Numerical Software
Verificationhttp://nsv2016.pages.ist.ac.at/
* VSTTE: 8th Working Conference on Verified Software: Theories, Tools,
and Experimentshttp://www.cs.toronto.edu/~chechik/vstte16/
* SYNT: 5th Workshop on Synthesishttp://formal.epfl.ch/synt/2016/
* (EC)2: 9th International Workshop on Exploiting Concurrency
Efficiently and Correctlyhttp://ecee.colorado.edu/pavol/ec2-2016/
* HCCV: Workshop on High-Consequence Control
Verificationhttp://www.sandia.gov/hccv/
* VMW: Verification Mentoring Workshophttp://i-cav.org/2016/vmw/
Conference chairs
-----------------
Swarat Chaudhuri (Rice University)
Azadeh Farzan (University of Toronto)
------------------------------------------------------------------------------
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are
consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity planning
reports. http://pubads.g.doubleclick.net/gampad/clk?id=1444514421&iu=/41014381
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
