CADE
CADE | |
---|---|
International Conference on Automated Deduction
| |
Categories: Automated reasoning
| |
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% .
Events
The following events of the series CADE are currently known in this wiki:
Ordinal | From | To | City | Country | General chair | PC chair | Submitted papers | Acceptance rate | Attendees | |
---|---|---|---|---|---|---|---|---|---|---|
CADE 2020 | Jun 29 | Jul 2 | Paris | Online | ||||||
CADE 2019 | 27 | Aug 25 | Aug 30 | Natal | Brazil | |||||
CADE 2017 | Aug 8 | Aug 11 | Gothenburg | Sweden | Wolfgang Ahrendt Moa Johansson | Leonardo de Moura | 69 | 44.9 | ||
CADE 2015 | Jan 8 | Jul 8 | Berlin | Germany | 84 | 42.9 | ||||
CADE 2013 | Sep 6 | Jun 14 | Lake Placid | USA | 71 | 43.7 | ||||
CADE 2011 | Jul 31 | May 8 | Wroclaw | Poland | 80 | 43.8 | ||||
CADE 2009 | Feb 8 | Jul 8 | Montreal | Canada | 77 | 41.6 | ||||
CADE 2007 | Jul 17 | Jul 20 | Bremen | Germany | 64 | |||||
CADE 2005 | Jul 22 | Jul 27 | Tallinn | Estonia | 78 | |||||
CADE 2003 | Jul 28 | Feb 8 | Miami Beach | USA | 83 | |||||
CADE 2002 | Jul 27 | Jul 30 | Copenhagen | Denmark | ||||||
CADE 2000 | Jul 17 | Jul 20 | Pittsburgh | USA | ||||||
CADE1999 | Jul 7 | Oct 7 | Trento | Italy | ||||||
CADE 1998 | May 7 | Oct 7 | Lindau | Germany | 85 | 40.0 | ||||
CADE1997 | Jul 13 | Jul 17 | Townsville | Australia | 87 | 48.3 | ||||
CADE1996 | Jul 30 | Mar 8 | New Brunswick | USA | ||||||
CADE1994 | Jun 26 | Jan 7 | Nancy | France | ||||||
CADE1992 | Jun 15 | Jun 18 | Saratoga Springs | USA | ||||||
CADE1990 | Jul 24 | Jul 27 | Kaiserslautern | Germany | ||||||
CADE1988 | May 23 | May 26 | Argonne | USA | ||||||
CADE1986 | Jul 27 | Jan 8 | Oxford | England | ||||||
CADE1984 | May 14 | May 16 | Napa | USA | ||||||
CADE1982 | Jul 6 | Sep 6 | USA | |||||||
CADE1980 | Aug 7 | Nov 7 | Les Arcs | France |
Number of Submitted and Accepted Papers (Main Track)
30
40
50
60
70
80
90
30
40
50
60
70
80
90
87
69
84
71
80
77
64
78
83
85
42
31
36
31
35
32
34
Submitted papers | |
Accepted papers |
Acceptance Rate
Loading...
Locations
Facts about "CADE"
EventSeries acronym | CADE + |
Field | Category:Automated reasoning + |
Has Average Acceptance Rate | 43.6 + |
Has CORE Rank | A + |
Homepage | http://www.cadeinc.org/ + |
IsA | EventSeries + |
Title | International Conference on Automated Deduction + |