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
