VSL 2014: VIENNA SUMMER OF LOGIC 2014
CAV Call for Papers

CAV 2014 – International Conference on Computer Aided Verification
July 18-22, 2014 · Vienna, Austria

http://www.cavconference.org

New Rules

We will continue to have short and long papers, but
short papers are not restricted to be tool papers anymore.

Further, we particularly encourage to submit high
quality tool papers and empirical evaluations as long papers.

References do not count toward the page limit.

These changes are explained in more detail
in the full CFP at http://www.cavconference.org.

Important Dates

Abstract submission 31 January, 2014
Paper submission 7 February, 2014
Author feedback/rebuttal period 20-23 March 2014
Notification of acceptance/rejection 18 April 2014
Final Version due  9 May 2014

Program Committee