CADE

Event series

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

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

Events

There are 24 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, CADE1980, CADE1982, CADE1984, CADE1986, CADE1988, CADE1990, CADE1992, CADE1994, CADE1996, CADE1997, CADE1999, Openresearch:CADE 2019

	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.	General chair	PC chair	Submitted papers	Acceptance rate
CADE 2000			Jul 17	Jul 20	Pittsburgh	US		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/
CADE 2002			Jul 27	Jul 30	Copenhagen	Denmark		http://floc02.diku.dk/CADE/
CADE 2003			Jul 28	Feb 8	Miami Beach	US		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-19/CADE-19.shtml							83
CADE 2005			Jul 22	Jul 27	Tallinn	Estonia		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-20/							78
CADE 2007			Jul 17	Jul 20	Bremen	DE		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-21/							64
CADE 2011			Jul 31	May 8	Wroclaw	Poland		http://cade23.ii.uni.wroc.pl/							80	43.8
CADE1984			May 14	May 16	Napa	US		http://dblp2.uni-trier.de/db/conf/cade/cade84.html
CADE1986			Jul 27	Jan 8	Oxford	England		http://dblp2.uni-trier.de/db/conf/cade/cade86.html
CADE1988			May 23	May 26	Argonne	US		http://dblp.uni-trier.de/db/conf/cade/cade88.html
CADE1990			Jul 24	Jul 27	Kaiserslautern	DE		http://dblp.uni-trier.de/db/conf/cade/cade90.html
CADE1992			Jun 15	Jun 18	Saratoga Springs	US		http://dblp.uni-trier.de/db/conf/cade/cade92.html
CADE1994			Jun 26	Jan 7	Nancy	France		http://dblp2.uni-trier.de/db/conf/cade/cade94.html
CADE1996			Jul 30	Mar 8	New Brunswick	US		http://dblp2.uni-trier.de/db/conf/cade/cade96.html
CADE1997			Jul 13	Jul 17	Townsville	Australia		http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-14/							87	48.3
CADE 2020		2020	Jun 29	Jul 2	Paris	Online		http://www.cadeinc.org/
Openresearch:CADE 2019	27	2019	Aug 25	Aug 30	Natal	Brazil		https://www.mat.ufrn.br/cade-27/
CADE 2017		2017	Aug 8	Aug 11	Gothenburg	Sweden		http://www.cse.chalmers.se/~myreen/cade-26/					Wolfgang Ahrendt Moa Johansson	Leonardo de Moura	69	44.9
CADE 2015		2015	Jan 8	Jul 8	Berlin	DE		http://conference.imp.fu-berlin.de/cade-25/home							84	42.9
CADE 2013		2013	Sep 6	Jun 14	Lake Placid	US		http://www.cl.cam.ac.uk/~gp351/cade24/							71	43.7
CADE 2009		2009	Feb 8	Jul 8	Montreal	Canada		http://complogic.cs.mcgill.ca/cade22/							77	41.6
CADE1999		1999	Jul 7	Oct 7	Trento	Italy		http://dblp.uni-trier.de/db/conf/cade/cade99.html
CADE 1998		1998	May 7	Oct 7	Lindau	DE		http://dblp2.uni-trier.de/db/conf/cade/cade98.html							85	40.0
CADE1982		1982	Jul 6	Sep 6		US		http://dblp2.uni-trier.de/db/conf/cade/cade82.html
CADE1980		1980	Aug 7	Nov 7	Les Arcs	France		http://dblp2.uni-trier.de/db/conf/cade/cade80.html

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=CADE_2002\" title=\"CADE 2002\"\u003ECADE 2002\u003C/a\u003E\u003C/b\u003E","title":"CADE 2002","link":"","lat":55.686725,"lon":12.570072222222,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orth/index.php?title=CADE_2011\" title=\"CADE 2011\"\u003ECADE 2011\u003C/a\u003E\u003C/b\u003E","title":"CADE 2011","link":"","lat":51.108977777778,"lon":17.032669444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orth/index.php?title=CADE_2015\" title=\"CADE 2015\"\u003ECADE 2015\u003C/a\u003E\u003C/b\u003E","title":"CADE 2015","link":"","lat":52.517036111111,"lon":13.388861111111,"icon":""}],"imageLayers":[]}