CADE
Jump to navigation
Jump to search
CADE | |
---|---|
International Conference on Automated Deduction
| |
Categories: Automated reasoning
| |
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
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 | ||||||
Openresearch: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 |
Add New Event:
Submission/Acceptance
Locations