CAV

Event series

CAV
Computer Aided Verification
Categories: Software engineering
Avg. acceptance rate:	28
Avg. acceptance rate (last 5 years):	26.1
Table of Contents

Computer Aided Verification (CAV) has an average acceptance rate of 28% (last 5 years 26.1%).

Events

There are 32 events of the series CAV known to this wiki: CAV 1989, CAV 1990, CAV 1991, CAV 1992, CAV 1993, CAV 1994, CAV 1995, CAV 1996, CAV 1997, CAV 1998, CAV 1999, CAV 2000, CAV 2001, CAV 2002, CAV 2003, CAV 2004, CAV 2005, CAV 2006, CAV 2007, CAV 2008, CAV 2009, CAV 2010, CAV 2011, CAV 2012, CAV 2013, CAV 2014, CAV 2015, CAV 2016, CAV 2017, CAV 2019, CAV 2020, Openresearch:CAV 2018

	OrdinalOrdinal of the event e.g. 1 for 1st.	Year	From	To	City	Country	presence	Homepage	GND	dblp	WikiCFP	WikidataUsed to provide the identifier with which an entity is indexed in Wikidata.	Submitted papers	Acceptance rate
CAV 2020	32	2020	Jul 19	Jul 24	Los Angeles	Online		http://i-cav.org/2020/					240	27.1
CAV 2019		2019	Jul 15	Jul 18	New York City	US		http://i-cav.org/2019/					258	25.2
Openresearch:CAV 2018	30	2018	Jul 14	Jul 17	Oxford	United Kingdom		http://cavconference.org/2018/					215	24.2
CAV 2017		2017	Jul 24	Jul 28	Heidelberg	DE		http://cavconference.org/2017/					191	26.2
CAV 2016		2016	Jan 1		Toronto	Canada		http://i-cav.org/2016/					165	27.9
CAV 2015		2015	Jan 1		San Francisco	US		http://i-cav.org/2015/					252	27.0
CAV 2014		2014	Jan 1		Vienna	Austria		http://i-cav.org/2014/					229	29.3
CAV 2013		2013	Jan 1		Saint Petersburg	Russia		http://cav2013.forsyte.at/					209	34.0
CAV 2012		2012	Jan 1		Berkeley	US		http://cav12.cs.illinois.edu/					185	31.4
CAV 2011		2011	Jan 1		Cliff Lodge	US		http://formalverification.cs.utah.edu/cav2011/
CAV 2010		2010	Jan 1		Edinburgh	Scotland		http://www.floc-conference.org/CAV-home.html
CAV 2009		2009	Jan 1		GRENOBLE	France		http://www-cav2009.imag.fr/
CAV 2008		2008	Jan 1		Princeton	US		http://www.princeton.edu/cav2008/
CAV 2007		2007	Jan 1		Berlin	DE		http://www.cav2007.org/
CAV 2006		2006	Jan 1		Seattle	US		http://dblp.uni-trier.de/db/conf/cav/cav2006.html
CAV 2005		2005	Jan 1		Edinburgh	Scotland		http://www.cav2005.inf.ed.ac.uk/
CAV 2004		2004	Jan 1		Boston	US
CAV 2003		2003	Jan 1		Boulder	US
CAV 2002		2002	Jan 1		Copenhagen	Denmark		http://floc02.diku.dk/CAV/
CAV 2001		2001	Jan 1		Paris	France		http://www.lsv.ens-cachan.fr/Events/cav01/
CAV 2000		2000	Jan 1		Chicago	US
CAV 1999		1999	Jan 1		Trento	Italy
CAV 1998		1998	Jan 1		Vancouver	Canada		http://www.cs.ubc.ca/~ajh/cav98.html
CAV 1997		1997	Jan 1		Haifa	Israel		http://dblp.uni-trier.de/db/conf/cav/cav97.html
CAV 1996		1996	Jan 1		New Brunswick	US		http://dblp.uni-trier.de/db/conf/cav/cav96.html
CAV 1995		1995	Jan 1		Liege	Belgium		http://dblp.uni-trier.de/db/conf/cav/cav95.html
CAV 1994		1994	Jan 1		Stanford	US		http://dblp.uni-trier.de/db/conf/cav/cav94.html
CAV 1993		1993	Jan 1		Elouanda	Greece		http://dblp.uni-trier.de/db/conf/cav/cav93.html
CAV 1992		1992	Jan 1		Montreal	Canada		http://dblp.uni-trier.de/db/conf/cav/cav1992.html
CAV 1991		1991	Jan 1		Aarlborg	Denmark		http://dblp.uni-trier.de/db/conf/cav/cav91.html
CAV 1990		1990	Jan 1		New Brunswick	US
CAV 1989		1989	Jan 1		Grenoble	France

Submission/Acceptance

Loading...

Locations

Loading map...

{"format":"leaflet","minzoom":false,"maxzoom":false,"limit":50,"offset":0,"link":"all","sort":[""],"order":[],"headers":"show","mainlabel":"","intro":"","outro":"","searchlabel":"... further results","default":"","import-annotation":false,"width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","showtitle":true,"hidenamespace":true,"template":"","userparam":"","activeicon":"","pagelabel":false,"ajaxcoordproperty":"","ajaxquery":"","locations":[{"text":"\u003Cb\u003E\u003Ca href=\"/orth/index.php?title=CAV_2001\" title=\"CAV 2001\"\u003ECAV 2001\u003C/a\u003E\u003C/b\u003E","title":"CAV 2001","link":"","lat":48.858888888889,"lon":2.3200416666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orth/index.php?title=CAV_2002\" title=\"CAV 2002\"\u003ECAV 2002\u003C/a\u003E\u003C/b\u003E","title":"CAV 2002","link":"","lat":55.686725,"lon":12.570072222222,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orth/index.php?title=CAV_2007\" title=\"CAV 2007\"\u003ECAV 2007\u003C/a\u003E\u003C/b\u003E","title":"CAV 2007","link":"","lat":52.517036111111,"lon":13.388861111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orth/index.php?title=CAV_2015\" title=\"CAV 2015\"\u003ECAV 2015\u003C/a\u003E\u003C/b\u003E","title":"CAV 2015","link":"","lat":37.779025,"lon":-122.41990555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orth/index.php?title=CAV_2019\" title=\"CAV 2019\"\u003ECAV 2019\u003C/a\u003E\u003C/b\u003E","title":"CAV 2019","link":"","lat":40.712727777778,"lon":-74.006013888889,"icon":""}],"imageLayers":[]}