[ecoop-info] Call for Participation: CAV 2016, July 17-23, Toronto

Announcements of FME events events at fmeurope.org
Tue Jun 7 11:12:57 CEST 2016

Apologies for multiple copies of this CFP.



28th International Conference on Computer Aided Verification
     		(CAV 2016), July 17–23, 2016

		  Hyatt Regency Toronto
	        Toronto, Ontario, Canada




* 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

* 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

* VMW: Verification Mentoring Workshophttp://i-cav.org/2016/vmw/

Conference chairs

Swarat Chaudhuri (Rice University)
Azadeh Farzan (University of Toronto)
-------------- next part --------------
events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list