CADE

CADE

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

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

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 2019, CADE 2020, CADE 2021, CADE1980, CADE1982, CADE1984, CADE1986, CADE1988, CADE1990, CADE1992, CADE1994, CADE1996, CADE1997, CADE1999

	Ordinal	Year	From	To	City	Country	presence	Homepage	TibKatId	GND	dblp	WikiCFP	Wikidata	General chair	PC chair	Submitted papers	Acceptance rate
CADE 2002			Jul 27	Jul 30	Copenhagen	Denmark		http://floc02.diku.dk/CADE/
CADE 2003			Jul 28	Feb 8	Miami Beach	USA		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	Germany		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	USA		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	USA		http://dblp.uni-trier.de/db/conf/cade/cade88.html
CADE1990			Jul 24	Jul 27	Kaiserslautern	Germany		http://dblp.uni-trier.de/db/conf/cade/cade90.html
CADE1992			Jun 15	Jun 18	Saratoga Springs	USA		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	USA		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 2021	28	2021	Jul 12	Jul 15		Online	online	https://www.cs.cmu.edu/~mheule/CADE28/#home		1239313853	cade/cade2021.html					76	47.4
CADE 2020		2020	Jun 29	Jul 2	Paris	Online		http://www.cadeinc.org/
CADE 2019	27	2019	Aug 25	Aug 30	Natal	Brazil	presence	https://www.mat.ufrn.br/cade-27/								65	52.3
CADE 2017	26	2017	Aug 8	Aug 11	Gothenburg	Sweden	presence	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	Germany		http://conference.imp.fu-berlin.de/cade-25/home								84	42.9
CADE 2013		2013	Sep 6	Jun 14	Lake Placid	USA		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
CADE 2000		2000	Jul 17	Jul 20	Pittsburgh	USA	presence	http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/
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	Germany		http://dblp2.uni-trier.de/db/conf/cade/cade98.html								85	40.0
CADE1982		1982	Jul 6	Sep 6		USA		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=\"/or/index.php?title=CADE_2000\" title=\"CADE 2000\"\u003ECADE 2000\u003C/a\u003E\u003C/b\u003E","title":"CADE 2000","link":"","lat":40.441694444444,"lon":-79.990086111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/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=\"/or/index.php?title=CADE_2005\" title=\"CADE 2005\"\u003ECADE 2005\u003C/a\u003E\u003C/b\u003E","title":"CADE 2005","link":"","lat":59.437216666667,"lon":24.745369444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CADE_2009\" title=\"CADE 2009\"\u003ECADE 2009\u003C/a\u003E\u003C/b\u003E","title":"CADE 2009","link":"","lat":45.503183333333,"lon":-73.569805555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CADE_2011\" title=\"CADE 2011\"\u003ECADE 2011\u003C/a\u003E\u003C/b\u003E","title":"CADE 2011","link":"","lat":51.126311111111,"lon":16.978197222222,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CADE_2015\" title=\"CADE 2015\"\u003ECADE 2015\u003C/a\u003E\u003C/b\u003E","title":"CADE 2015","link":"","lat":52.518691666667,"lon":13.399602777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CADE_2020\" title=\"CADE 2020\"\u003ECADE 2020\u003C/a\u003E\u003C/b\u003E","title":"CADE 2020","link":"","lat":48.878858333333,"lon":2.3566805555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CADE_2021\" title=\"CADE 2021\"\u003ECADE 2021\u003C/a\u003E\u003C/b\u003E","title":"CADE 2021","link":"","lat":43.590472222222,"lon":3.8595138888889,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CADE1990\" title=\"CADE1990\"\u003ECADE1990\u003C/a\u003E\u003C/b\u003E","title":"CADE1990","link":"","lat":49.443216666667,"lon":7.7689944444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CADE1999\" title=\"CADE1999\"\u003ECADE1999\u003C/a\u003E\u003C/b\u003E","title":"CADE1999","link":"","lat":46.103044444444,"lon":11.129841666667,"icon":""}],"imageLayers":[]}