CAV

Event series Rating

median	worst

List of all ratings can be found at CAV/rating

Excel series Import and Export

Go to orapi Download page

Publish series

Event series

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

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

Events

There are 33 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, CAV 2021, Or:CAV 2018

	OrdinalThis property of the datatype Number represents the ordinal number of an event within an event series. Thereby it informs about the age of an event series. This property is not needed for the DOI registration process via DataCite and is optional.	Year	FromThis property is of the datatype Date and it is being used to provide the start date of an academic event or a project.</br>This property is aligned with icaltzd:dtstart. It is a mandatory property when describing an academic event and it is needed for the DOI registration process via DataCite.	ToThis property is of the datatype Date and it is being used to provide the end date of an academic event or a project.</br>This property is aligned with icaltzd:dtend.</br>It is a mandatory property when describing an academic event and it is needed for the DOI registration process via DataCite.	CityThe property Has location city can be used to specify the city where a street, building, event, etc. is located in.</br>It is of the datatype Page and a special case of the Property:Located in. Other properties for specifying locations are: property:Has location country, property:Has location state and property:Has location address.</br>When specifying the city in which an academic event takes or took place, using this property is not needed for the DOI registration process via DataCite but strongly recommended.	CountryThe property Has location country is used to describe the country where something is located in.</br>It is of the datatype Page and a special case of the Property:Located in. Other properties for specifying locations are: property:Has location city, property:Has location state and property:Has location address.</br>When specifying the country in which an academic event takes or took place, using this property is not needed for the DOI registration process via DataCite but strongly recommended.	presence	HomepageThis property is of the datatype URL and it is being used to provide the official website of an academic event or an event series.</br>It is a recommended property when describing an academic event or event series and it is not needed for the DOI registration process via DataCite.	TibKatId	GNDThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in the Integrated_Authority_File (GND). Its external formatter URI is http://d-nb.info/gnd/$1.</br>In Open Research it is mostly used to identify an academic event or event series within the GND. </br>The use of this property is optional.</br>It is not necessary for the DOI registration process via DataCite.	dblpThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in dblp. Its external formatter URI is https://dblp2.uni-trier.de/db/conf/$1.</br>In Open Research it is mostly used to identify an academic event within dblp. </br>The use of this property is optional. It is not necessary for the DOI registration process via DataCite.	WikiCFPThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in WikiCFP. Its external formatter URI is http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=$1.</br>In Open Research it is used to identify an academic event or event series within WikiCFP. </br>The use of this property is optional. It is not necessary for the DOI registration process via DataCite.	WikidataThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in Wikidata. Its external formatter URI is https://www.wikidata.org/entity/$1.</br>In Open Research it is mostly used to identify an academic event or event series within Wikidata. </br>The use of this property is optional. It is not necessary for the DOI registration process via DataCite.
CAV 2021	33	2021	Jul 18	Jul 21		Online	online	http://i-cav.org/2021/
CAV 2020	32	2020	Jul 19	Jul 24	US/CA/Los Angeles	US		http://i-cav.org/2020/		1216260141	cav/cav2020-2.html	95282
CAV 2019	31	2019	Jul 15	Jul 18	US/NY/New York City	US		http://i-cav.org/2019/
Or:CAV 2018	30	2018	Jul 14	Jul 17	GB/ENG/Oxford	GB		http://cavconference.org/2018/
CAV 2017	29	2017	Jul 24	Jul 28	DE/BW/Heidelberg	DE		http://cavconference.org/2017/
CAV 2016	28	2016	Jul 17	Jul 23	CA/ON/Toronto	CA		http://i-cav.org/2016/
CAV 2015	27	2015	Jul 18	Jul 24	US/CA/San Francisco	US		http://i-cav.org/2015/
CAV 2014	26	2014	Jul 18	Jul 22	AT/9/Vienna	AT		http://i-cav.org/2014/
CAV 2013	25	2013	Jul 13	Jul 19	RU/SPE/Saint Petersburg	RU		http://cav2013.forsyte.at/
CAV 2012	24	2012	Jul 7	Jul 13	US/CA/Berkeley	US		http://cav12.cs.illinois.edu/
CAV 2011	23	2011	Jul 14	Jul 20	US/NM/Cliff	US		http://formalverification.cs.utah.edu/cav2011/
CAV 2010	22	2010	Jul 15	Jul 19	GB/SCT/Edinburgh	GB		http://www.floc-conference.org/CAV-home.html
CAV 2009	21	2009	Jun 26	Jul 2	FR/ARA/Grenoble	FR		http://www-cav2009.imag.fr/
CAV 2008	20	2008	Jul 7	Jul 14	US/NJ/Princeton	US		http://www.princeton.edu/cav2008/
CAV 2007	19	2007	Jul 3	Jul 7	DE/BE/Berlin	DE		http://www.cav2007.org/
CAV 2006	18	2006	Aug 17	Aug 20	US/WA/Seattle	US		http://dblp.uni-trier.de/db/conf/cav/cav2006.html
CAV 2005	17	2005	Jul 6	Jul 10	GB/SCT/Edinburgh	GB		http://www.cav2005.inf.ed.ac.uk/
CAV 2004	16	2004	Jul 13	Jul 17	US/MA/Boston	US
CAV 2003	15	2003	Jul 8	Jul 12	US/CO/Boulder	US
CAV 2002	14	2002	Jul 27	Jul 31	US/NY/Copenhagen	US		http://floc02.diku.dk/CAV/
CAV 2001	13	2001	Jul 18	Jul 22	FR/IDF/Paris	FR		http://www.lsv.ens-cachan.fr/Events/cav01/
CAV 2000	12	2000	Jul 15	Jul 19	US/IL/Chicago	US
CAV 1999	11	1999	Jul 6	Jul 10	IT/32/Trento	IT
CAV 1998	10	1998	Jun 28	Jul 2	CA/BC/Vancouver	CA		http://www.cs.ubc.ca/~ajh/cav98.html
CAV 1997	9	1997	Jun 22	Jun 25	IL/HA/Haifa	IL		http://dblp.uni-trier.de/db/conf/cav/cav97.html
CAV 1996	8	1996	Jul 31	Aug 3	US/NJ/New Brunswick	US		http://dblp.uni-trier.de/db/conf/cav/cav96.html
CAV 1995	7	1995	Jun 3	Jun 5	Liege	BE		http://dblp.uni-trier.de/db/conf/cav/cav95.html
CAV 1994	6	1994	Jun 21	Jun 23	US/CA/Stanford	US		http://dblp.uni-trier.de/db/conf/cav/cav94.html
CAV 1993	5	1993	Jun 28	Jul 1	Elouanda	GR		http://dblp.uni-trier.de/db/conf/cav/cav93.html
CAV 1992	4	1992	Jun 29	Jul 1	CA/QC/Montreal	CA		http://dblp.uni-trier.de/db/conf/cav/cav1992.html
CAV 1991	3	1991	Jul 1	Jul 4	DK/83/Bjerreby	DK		http://dblp.uni-trier.de/db/conf/cav/cav91.html
CAV 1990	2	1990	Jun 18	Jun 21	US/NJ/New Brunswick	US
CAV 1989	1	1989	Jun 12	Jun 14	FR/ARA/Grenoble	FR

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=\"/orfixed/index.php?title=CAV_1989\" title=\"CAV 1989\"\u003ECAV 1989\u003C/a\u003E\u003C/b\u003E","title":"CAV 1989","link":"","lat":45.186944444,"lon":5.726388888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_1990\" title=\"CAV 1990\"\u003ECAV 1990\u003C/a\u003E\u003C/b\u003E","title":"CAV 1990","link":"","lat":40.486666666,"lon":-74.444444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_1991\" title=\"CAV 1991\"\u003ECAV 1991\u003C/a\u003E\u003C/b\u003E","title":"CAV 1991","link":"","lat":54.9689,"lon":10.6058,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_1992\" title=\"CAV 1992\"\u003ECAV 1992\u003C/a\u003E\u003C/b\u003E","title":"CAV 1992","link":"","lat":45.508888888,"lon":-73.561666666,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_1994\" title=\"CAV 1994\"\u003ECAV 1994\u003C/a\u003E\u003C/b\u003E","title":"CAV 1994","link":"","lat":37.424109,"lon":-122.166079,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_1997\" title=\"CAV 1997\"\u003ECAV 1997\u003C/a\u003E\u003C/b\u003E","title":"CAV 1997","link":"","lat":32.8,"lon":34.983333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_1998\" title=\"CAV 1998\"\u003ECAV 1998\u003C/a\u003E\u003C/b\u003E","title":"CAV 1998","link":"","lat":49.260833333,"lon":-123.113888888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_1999\" title=\"CAV 1999\"\u003ECAV 1999\u003C/a\u003E\u003C/b\u003E","title":"CAV 1999","link":"","lat":46.06666667,"lon":11.11666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2000\" title=\"CAV 2000\"\u003ECAV 2000\u003C/a\u003E\u003C/b\u003E","title":"CAV 2000","link":"","lat":41.881944444,"lon":-87.627777777,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2001\" title=\"CAV 2001\"\u003ECAV 2001\u003C/a\u003E\u003C/b\u003E","title":"CAV 2001","link":"","lat":48.856944444,"lon":2.351388888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2002\" title=\"CAV 2002\"\u003ECAV 2002\u003C/a\u003E\u003C/b\u003E","title":"CAV 2002","link":"","lat":43.8931,"lon":-75.6725,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2003\" title=\"CAV 2003\"\u003ECAV 2003\u003C/a\u003E\u003C/b\u003E","title":"CAV 2003","link":"","lat":40.019444444,"lon":-105.292777777,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2004\" title=\"CAV 2004\"\u003ECAV 2004\u003C/a\u003E\u003C/b\u003E","title":"CAV 2004","link":"","lat":42.358333333,"lon":-71.0625,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2005\" title=\"CAV 2005\"\u003ECAV 2005\u003C/a\u003E\u003C/b\u003E","title":"CAV 2005","link":"","lat":55.95,"lon":-3.198888888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2006\" title=\"CAV 2006\"\u003ECAV 2006\u003C/a\u003E\u003C/b\u003E","title":"CAV 2006","link":"","lat":47.60621,"lon":-122.33207,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2007\" title=\"CAV 2007\"\u003ECAV 2007\u003C/a\u003E\u003C/b\u003E","title":"CAV 2007","link":"","lat":52.516666666,"lon":13.383333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2008\" title=\"CAV 2008\"\u003ECAV 2008\u003C/a\u003E\u003C/b\u003E","title":"CAV 2008","link":"","lat":40.352222222,"lon":-74.656944444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2011\" title=\"CAV 2011\"\u003ECAV 2011\u003C/a\u003E\u003C/b\u003E","title":"CAV 2011","link":"","lat":32.9619,"lon":-108.611,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2012\" title=\"CAV 2012\"\u003ECAV 2012\u003C/a\u003E\u003C/b\u003E","title":"CAV 2012","link":"","lat":37.870277777,"lon":-122.268055555,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2013\" title=\"CAV 2013\"\u003ECAV 2013\u003C/a\u003E\u003C/b\u003E","title":"CAV 2013","link":"","lat":59.95,"lon":30.316666666,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2014\" title=\"CAV 2014\"\u003ECAV 2014\u003C/a\u003E\u003C/b\u003E","title":"CAV 2014","link":"","lat":48.20833,"lon":16.373064,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2015\" title=\"CAV 2015\"\u003ECAV 2015\u003C/a\u003E\u003C/b\u003E","title":"CAV 2015","link":"","lat":37.7775,"lon":-122.416388888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2016\" title=\"CAV 2016\"\u003ECAV 2016\u003C/a\u003E\u003C/b\u003E","title":"CAV 2016","link":"","lat":43.670277777,"lon":-79.386666666,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2017\" title=\"CAV 2017\"\u003ECAV 2017\u003C/a\u003E\u003C/b\u003E","title":"CAV 2017","link":"","lat":49.412222222,"lon":8.71,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2019\" title=\"CAV 2019\"\u003ECAV 2019\u003C/a\u003E\u003C/b\u003E","title":"CAV 2019","link":"","lat":40.712728,"lon":-74.006015,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CAV_2020\" title=\"CAV 2020\"\u003ECAV 2020\u003C/a\u003E\u003C/b\u003E","title":"CAV 2020","link":"","lat":34.05223,"lon":-118.24368,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=Or:CAV_2018\" title=\"Or:CAV 2018\"\u003EOr:CAV 2018\u003C/a\u003E\u003C/b\u003E","title":"Or:CAV 2018","link":"","lat":51.75315,"lon":-1.23854,"icon":""}],"imageLayers":[]}