Difference between revisions of "CAV"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by Th) |
||
| Line 1: | Line 1: | ||
{{Event series | {{Event series | ||
| − | |||
|Acronym=CAV | |Acronym=CAV | ||
|Title=Computer Aided Verification | |Title=Computer Aided Verification | ||
| + | |Field=Software engineering | ||
}} | }} | ||
Revision as of 23:31, 24 October 2021
Event series Rating
| median | worst |
|---|---|
|
|
List of all ratings can be found at CAV/rating
Excel series Import and Export
| 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 |