CADE

Event series Rating

median	worst

List of all ratings can be found at CADE/rating

Excel series Import and Export

Go to orapi Download page

Publish series

Event series

CADE		Logo of CADE
International Conference on Automated Deduction
Categories: Automated reasoning
http://www.cadeinc.org/
Avg. acceptance rate:	0
Avg. acceptance rate (last 5 years):	0
Table of Contents

International Conference on Automated Deduction (CADE) has an average acceptance rate of 0% (last 5 years 0%).

Events

There are 25 events of the series CADE known to this wiki: CADE 1998, CADE 2000, CADE 2002, CADE 2003, CADE 2005, CADE 2007, CADE 2009, CADE 2011, CADE 2013, CADE 2015, CADE 2017, CADE 2020, CADE 2021, CADE1980, CADE1982, CADE1984, CADE1986, CADE1988, CADE1990, CADE1992, CADE1994, CADE1996, CADE1997, CADE1999, Or:CADE 2019

	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.
CADE 2021	28	2021	Jul 12	Jul 15		Online	online	https://www.cs.cmu.edu/~mheule/CADE28/#home		1239313853	cade/cade2021.html
CADE 2020		2020	Jun 29	Jul 2	FR/IDF/Paris	FR		http://www.cadeinc.org/
Or:CADE 2019	27	2019	Aug 25	Aug 30	BR/RN/Natal	BR	presence	https://www.mat.ufrn.br/cade-27/
CADE 2017	26	2017	Aug 8	Aug 11	SE/O/Gothenburg	SE	presence	http://www.cse.chalmers.se/~myreen/cade-26/
CADE 2015		2015	Jan 8	Jul 8	DE/BE/Berlin	DE		http://conference.imp.fu-berlin.de/cade-25/home
CADE 2013		2013	Sep 6	Jun 14	US/NY/Lake Placid	US		http://www.cl.cam.ac.uk/~gp351/cade24/
CADE 2011		2011	Jul 31	May 8	PL/02/Wrocław	PL		http://cade23.ii.uni.wroc.pl/
CADE 2009		2009	Feb 8	Jul 8	CA/QC/Montreal	CA		http://complogic.cs.mcgill.ca/cade22/
CADE 2007		2007	Jul 17	Jul 20	DE/HB/Free Hanseatic City of Bremen	DE		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-21/
CADE 2005		2005	Jul 22	Jul 27	EE/37/Tallinn	EE		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-20/
CADE 2003		2003	Jul 28	Feb 8	US/FL/Miami Beach	US		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-19/CADE-19.shtml
CADE 2002		2002	Jul 27	Jul 30	US/NY/Copenhagen	US		http://floc02.diku.dk/CADE/
CADE 2000		2000	Jul 17	Jul 20	US/PA/Pittsburgh	US	presence	http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/
CADE1999		1999	Jul 7	Oct 7	IT/32/Trento	IT		http://dblp.uni-trier.de/db/conf/cade/cade99.html
CADE 1998		1998	May 7	Oct 7	DE/BY/Lindau	DE		http://dblp2.uni-trier.de/db/conf/cade/cade98.html
CADE1997		1997	Jul 13	Jul 17	AU/QLD/Townsville	AU		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-14/
CADE1996		1996	Jul 30	Mar 8	US/NJ/New Brunswick	US		http://dblp2.uni-trier.de/db/conf/cade/cade96.html
CADE1994		1994	Jun 26	Jan 7	FR/GES/Nancy	FR		http://dblp2.uni-trier.de/db/conf/cade/cade94.html
CADE1992		1992	Jun 15	Jun 18	US/NY/Saratoga Springs	US		http://dblp.uni-trier.de/db/conf/cade/cade92.html
CADE1990		1990	Jul 24	Jul 27	DE/RP/Kaiserslautern	DE		http://dblp.uni-trier.de/db/conf/cade/cade90.html
CADE1988		1988	May 23	May 26	US/WI/Argonne	US		http://dblp.uni-trier.de/db/conf/cade/cade88.html
CADE1986		1986	Jul 27	Jan 8	GB/ENG/Oxford	GB		http://dblp2.uni-trier.de/db/conf/cade/cade86.html
CADE1984		1984	May 14	May 16	US/CA/Napa	US		http://dblp2.uni-trier.de/db/conf/cade/cade84.html
CADE1982		1982	Jul 6	Sep 6	US/NY/New York City	US		http://dblp2.uni-trier.de/db/conf/cade/cade82.html
CADE1980		1980	Aug 7	Nov 7	FR/PAC/Les Arcs	FR		http://dblp2.uni-trier.de/db/conf/cade/cade80.html

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=CADE_1998\" title=\"CADE 1998\"\u003ECADE 1998\u003C/a\u003E\u003C/b\u003E","title":"CADE 1998","link":"","lat":47.545833333,"lon":9.683888888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2000\" title=\"CADE 2000\"\u003ECADE 2000\u003C/a\u003E\u003C/b\u003E","title":"CADE 2000","link":"","lat":40.441666666,"lon":-80,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2002\" title=\"CADE 2002\"\u003ECADE 2002\u003C/a\u003E\u003C/b\u003E","title":"CADE 2002","link":"","lat":43.8931,"lon":-75.6725,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2003\" title=\"CADE 2003\"\u003ECADE 2003\u003C/a\u003E\u003C/b\u003E","title":"CADE 2003","link":"","lat":25.813025,"lon":-80.134063888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2005\" title=\"CADE 2005\"\u003ECADE 2005\u003C/a\u003E\u003C/b\u003E","title":"CADE 2005","link":"","lat":59.437222222,"lon":24.745,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2007\" title=\"CADE 2007\"\u003ECADE 2007\u003C/a\u003E\u003C/b\u003E","title":"CADE 2007","link":"","lat":53.347266666,"lon":8.5913,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2009\" title=\"CADE 2009\"\u003ECADE 2009\u003C/a\u003E\u003C/b\u003E","title":"CADE 2009","link":"","lat":45.508888888,"lon":-73.561666666,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2011\" title=\"CADE 2011\"\u003ECADE 2011\u003C/a\u003E\u003C/b\u003E","title":"CADE 2011","link":"","lat":51.11,"lon":17.0325,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2013\" title=\"CADE 2013\"\u003ECADE 2013\u003C/a\u003E\u003C/b\u003E","title":"CADE 2013","link":"","lat":44.285555555,"lon":-73.985277777,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2015\" title=\"CADE 2015\"\u003ECADE 2015\u003C/a\u003E\u003C/b\u003E","title":"CADE 2015","link":"","lat":52.516666666,"lon":13.383333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2017\" title=\"CADE 2017\"\u003ECADE 2017\u003C/a\u003E\u003C/b\u003E","title":"CADE 2017","link":"","lat":57.671706102,"lon":11.980966694,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE_2020\" title=\"CADE 2020\"\u003ECADE 2020\u003C/a\u003E\u003C/b\u003E","title":"CADE 2020","link":"","lat":48.856944444,"lon":2.351388888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1980\" title=\"CADE1980\"\u003ECADE1980\u003C/a\u003E\u003C/b\u003E","title":"CADE1980","link":"","lat":43.463333333,"lon":6.478888888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1982\" title=\"CADE1982\"\u003ECADE1982\u003C/a\u003E\u003C/b\u003E","title":"CADE1982","link":"","lat":40.712728,"lon":-74.006015,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1984\" title=\"CADE1984\"\u003ECADE1984\u003C/a\u003E\u003C/b\u003E","title":"CADE1984","link":"","lat":38.3,"lon":-122.3,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1986\" title=\"CADE1986\"\u003ECADE1986\u003C/a\u003E\u003C/b\u003E","title":"CADE1986","link":"","lat":51.75315,"lon":-1.23854,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1988\" title=\"CADE1988\"\u003ECADE1988\u003C/a\u003E\u003C/b\u003E","title":"CADE1988","link":"","lat":45.659722222,"lon":-88.879166666,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1990\" title=\"CADE1990\"\u003ECADE1990\u003C/a\u003E\u003C/b\u003E","title":"CADE1990","link":"","lat":49.444722222,"lon":7.768888888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1992\" title=\"CADE1992\"\u003ECADE1992\u003C/a\u003E\u003C/b\u003E","title":"CADE1992","link":"","lat":43.075277777,"lon":-73.7825,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1994\" title=\"CADE1994\"\u003ECADE1994\u003C/a\u003E\u003C/b\u003E","title":"CADE1994","link":"","lat":48.692777777,"lon":6.183611111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1996\" title=\"CADE1996\"\u003ECADE1996\u003C/a\u003E\u003C/b\u003E","title":"CADE1996","link":"","lat":40.486666666,"lon":-74.444444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1997\" title=\"CADE1997\"\u003ECADE1997\u003C/a\u003E\u003C/b\u003E","title":"CADE1997","link":"","lat":-19.262222222,"lon":146.815833333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=CADE1999\" title=\"CADE1999\"\u003ECADE1999\u003C/a\u003E\u003C/b\u003E","title":"CADE1999","link":"","lat":46.06666667,"lon":11.11666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=Or:CADE_2019\" title=\"Or:CADE 2019\"\u003EOr:CADE 2019\u003C/a\u003E\u003C/b\u003E","title":"Or:CADE 2019","link":"","lat":-5.795,"lon":-35.208888888,"icon":""}],"imageLayers":[]}