From Openresearch
Jump to: navigation, search
Logo of CADE
International Conference on Automated Deduction
CORE Rank (2014): A
Avg. acceptance rate: 43.6
Table of Contents

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


The following events of the series CADE are currently known in this wiki:

 OrdinalFromToCityCountryGeneral chairPC chairAcceptance rateAttendees
CADE 2020Jun 29Jul 2ParisOnline
CADE 201927Aug 25Aug 30NatalBrazil
CADE 2017Aug 8Aug 11GothenburgSwedenWolfgang Ahrendt
Moa Johansson
Leonardo de Moura44.9
CADE 2015Jan 8Jul 8BerlinGermany42.9
CADE 2013Sep 6Jun 14Lake PlacidUSA43.7
CADE 2011Jul 31May 8WroclawPoland43.8
CADE 2009Feb 8Jul 8MontrealCanada41.6
CADE 2007Jul 17Jul 20BremenGermany
CADE 2005Jul 22Jul 27TallinnEstonia
CADE 2003Jul 28Feb 8Miami BeachUSA
CADE 2002Jul 27Jul 30CopenhagenDenmark
CADE 2000Jul 17Jul 20PittsburghUSA
CADE1999Jul 7Oct 7TrentoItaly
CADE 1998May 7Oct 7LindauGermany40.0
CADE1997Jul 13Jul 17TownsvilleAustralia48.3
CADE1996Jul 30Mar 8New BrunswickUSA
CADE1994Jun 26Jan 7NancyFrance
CADE1992Jun 15Jun 18Saratoga SpringsUSA
CADE1990Jul 24Jul 27KaiserslauternGermany
CADE1988May 23May 26ArgonneUSA
CADE1986Jul 27Jan 8OxfordEngland
CADE1984May 14May 16NapaUSA
CADE1982Jul 6Sep 6USA
CADE1980Aug 7Nov 7Les ArcsFrance

Number of Submitted and Accepted Papers (Main Track)


Acceptance Rate



Loading map...