[TYPES/announce] Call for Participation: CAV 2016, July 17-23, Toronto

[Roopsha Samanta]

Apologies for multiple copies of this CFP.

*****************************************************************

		 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160607/4ab5cbd4/attachment-0001.html>