CAV

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

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

Events

The following events of the series CAV are currently known in this wiki:

	Ordinal	From	To	City	Country	General chair	PC chair	Submitted papers	Acceptance rate	Attendees
CAV 2020	32	Jul 19	Jul 24	Los Angeles	Online		Shuvendu Lahiri Chao Wang	240	27.1
CAV 2019	31	Jul 15	Jul 18	New York City	USA			258	25.2
CAV 2018	30	Jul 14	Jul 17	Oxford	UK			215	24.2
CAV 2017	29	Jul 24	Jul 28	Heidelberg	Germany			191	26.2
CAV 2016	28	Jul 17	Jul 23	Toronto	Canada			165	27.9
CAV 2015	27	Jul 18	Jul 24	San Francisco	USA			252	27.0
CAV 2014	26	Jul 18	Jul 22	Vienna	Austria			229	29.3
CAV 2013	25	Jul 13	Jul 19	Saint Petersburg	Russia			209	34.0
CAV 2012	24	Jul 7	Jul 13	Berkeley	USA			185	31.4
CAV 2011	23	Jul 14	Jul 20	Cliff Lodge	USA			161	34.2
CAV 2010	22	Jul 15	Jul 19	Edinburgh	UK			145	35.2
CAV 2009	21	Jun 26	Jul 2	Grenoble	France			135	26.7
CAV 2008	20	Jul 7	Jul 14	Princeton	USA			104	31.7
CAV 2007	19	Jul 3	Jul 7	Berlin	Germany			134	24.6
CAV 2006	18	Aug 17	Aug 20	Seattle	USA			121	28.9
CAV 2005	17	Jul 6	Jul 10	Edinburgh	UK			123	26.0
CAV 2004	16	Jul 13	Jul 17	Boston	USA			144	33.3
CAV 2003	15	Jul 8	Jul 12	Boulder	USA			87	36.8
CAV 2002	14	Jul 27	Jul 31	Copenhagen	Denmark			94	37.2
CAV 2001	13	Jul 18	Jul 22	Paris	France			106	31.1
CAV 2000	12	Jul 15	Jul 19	Chicago	USA			91	38.5
CAV 1999	11	Jul 6	Jul 10	Trento	Italy			107	31.8
CAV 1998	10	Jun 28	Jul 2	Vancouver	Canada			117	28.2
CAV 1997	9	Jun 22	Jun 25	Haifa	Israel			84	40.5
CAV 1996	8	Jul 31	Aug 3	New Brunswick	USA			93	34.4
CAV 1995	7	Jun 3	Jun 5	Liege	Belgium			77	40.3
CAV 1994	6	Jun 21	Jun 23	Stanford	USA			121	30.6
CAV 1993	5	Jun 28	Jul 1	Elouanda	Greece			84	44.0
CAV 1992	4	Jun 29	Jul 1	Montreal	Canada			75	41.3
CAV 1991	3	Jul 1	Jul 4	Aarlborg	Denmark
CAV 1990	2	Jun 18	Jun 21	New Brunswick	USA
CAV 1989	1	Jun 12	Jun 14	Grenoble	France

Number of Submitted and Accepted Papers (Main Track)

Loading...

Acceptance Rate

Loading...

Locations

Loading map...

{"format":"openlayers","minzoom":false,"maxzoom":false,"limit":50,"offset":0,"link":"all","sort":[""],"order":[],"headers":"show","mainlabel":"","intro":"","outro":"","searchlabel":"... further results","default":"","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"controls":["layerswitcher","mouseposition","autopanzoom","scaleline","navigation"],"layers":["new OpenLayers.Layer.OSM.Mapnik(\"OSM Mapnik\")","new OpenLayers.Layer.OSM.CycleMap(\"OSM Cycle Map\")"],"resizable":false,"overlays":[],"searchmarkers":"","kml":[],"showtitle":true,"hidenamespace":false,"template":"","userparam":"","activeicon":"","pagelabel":false,"ajaxcoordproperty":"","ajaxquery":"","locations":[{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1989\" title=\"CAV 1989\"\u003ECAV 1989\u003C/a\u003E\u003C/b\u003E","title":"CAV 1989","link":"","lat":45.187561111111,"lon":5.7357805555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1990\" title=\"CAV 1990\"\u003ECAV 1990\u003C/a\u003E\u003C/b\u003E","title":"CAV 1990","link":"","lat":40.486216666667,"lon":-74.451816666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1992\" title=\"CAV 1992\"\u003ECAV 1992\u003C/a\u003E\u003C/b\u003E","title":"CAV 1992","link":"","lat":45.497216666667,"lon":-73.610363888889,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1994\" title=\"CAV 1994\"\u003ECAV 1994\u003C/a\u003E\u003C/b\u003E","title":"CAV 1994","link":"","lat":37.426541666667,"lon":-122.17029166667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1995\" title=\"CAV 1995\"\u003ECAV 1995\u003C/a\u003E\u003C/b\u003E","title":"CAV 1995","link":"","lat":50.645138888889,"lon":5.5734194444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1996\" title=\"CAV 1996\"\u003ECAV 1996\u003C/a\u003E\u003C/b\u003E","title":"CAV 1996","link":"","lat":40.486216666667,"lon":-74.451816666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1997\" title=\"CAV 1997\"\u003ECAV 1997\u003C/a\u003E\u003C/b\u003E","title":"CAV 1997","link":"","lat":32.819122222222,"lon":34.998386111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1998\" title=\"CAV 1998\"\u003ECAV 1998\u003C/a\u003E\u003C/b\u003E","title":"CAV 1998","link":"","lat":49.260872222222,"lon":-123.11395277778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_1999\" title=\"CAV 1999\"\u003ECAV 1999\u003C/a\u003E\u003C/b\u003E","title":"CAV 1999","link":"","lat":46.066422222222,"lon":11.125761111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2000\" title=\"CAV 2000\"\u003ECAV 2000\u003C/a\u003E\u003C/b\u003E","title":"CAV 2000","link":"","lat":41.875561111111,"lon":-87.624422222222,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2001\" title=\"CAV 2001\"\u003ECAV 2001\u003C/a\u003E\u003C/b\u003E","title":"CAV 2001","link":"","lat":48.856697222222,"lon":2.3514611111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/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=\"/wiki/CAV_2003\" title=\"CAV 2003\"\u003ECAV 2003\u003C/a\u003E\u003C/b\u003E","title":"CAV 2003","link":"","lat":40.014986111111,"lon":-105.27054444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2004\" title=\"CAV 2004\"\u003ECAV 2004\u003C/a\u003E\u003C/b\u003E","title":"CAV 2004","link":"","lat":42.360252777778,"lon":-71.058291666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2005\" title=\"CAV 2005\"\u003ECAV 2005\u003C/a\u003E\u003C/b\u003E","title":"CAV 2005","link":"","lat":55.953344444444,"lon":-3.188375,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2006\" title=\"CAV 2006\"\u003ECAV 2006\u003C/a\u003E\u003C/b\u003E","title":"CAV 2006","link":"","lat":47.603833333333,"lon":-122.33006111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/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=\"/wiki/CAV_2008\" title=\"CAV 2008\"\u003ECAV 2008\u003C/a\u003E\u003C/b\u003E","title":"CAV 2008","link":"","lat":40.349275,"lon":-74.659294444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2009\" title=\"CAV 2009\"\u003ECAV 2009\u003C/a\u003E\u003C/b\u003E","title":"CAV 2009","link":"","lat":45.187561111111,"lon":5.7357805555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2010\" title=\"CAV 2010\"\u003ECAV 2010\u003C/a\u003E\u003C/b\u003E","title":"CAV 2010","link":"","lat":55.953344444444,"lon":-3.188375,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2011\" title=\"CAV 2011\"\u003ECAV 2011\u003C/a\u003E\u003C/b\u003E","title":"CAV 2011","link":"","lat":40.58255,"lon":-111.65418888889,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2012\" title=\"CAV 2012\"\u003ECAV 2012\u003C/a\u003E\u003C/b\u003E","title":"CAV 2012","link":"","lat":37.870838888889,"lon":-122.27286388889,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2013\" title=\"CAV 2013\"\u003ECAV 2013\u003C/a\u003E\u003C/b\u003E","title":"CAV 2013","link":"","lat":59.938733333333,"lon":30.316227777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2014\" title=\"CAV 2014\"\u003ECAV 2014\u003C/a\u003E\u003C/b\u003E","title":"CAV 2014","link":"","lat":48.208352777778,"lon":16.372505555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/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=\"/wiki/CAV_2016\" title=\"CAV 2016\"\u003ECAV 2016\u003C/a\u003E\u003C/b\u003E","title":"CAV 2016","link":"","lat":43.653480555556,"lon":-79.383933333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2017\" title=\"CAV 2017\"\u003ECAV 2017\u003C/a\u003E\u003C/b\u003E","title":"CAV 2017","link":"","lat":49.409358333333,"lon":8.694725,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/Openresearch:CAV_2018\" title=\"Openresearch:CAV 2018\"\u003EOpenresearch:CAV 2018\u003C/a\u003E\u003C/b\u003E","title":"Openresearch:CAV 2018","link":"","lat":51.752013888889,"lon":-1.25785,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2019\" title=\"CAV 2019\"\u003ECAV 2019\u003C/a\u003E\u003C/b\u003E","title":"CAV 2019","link":"","lat":40.712727777778,"lon":-74.006013888889,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/wiki/CAV_2020\" title=\"CAV 2020\"\u003ECAV 2020\u003C/a\u003E\u003C/b\u003E","title":"CAV 2020","link":"","lat":34.170783333333,"lon":-118.54016944444,"icon":""}]}