CADE International Conference on Automated Deduction Search within this conference 2017 CADE 2017 6-11 August Gothenburg, Sweden Automated Deduction – CADE 26 34 Papers 1 Volume 2015 CADE 2015 1-7 August Berlin, Germany Automated Deduction - CADE-25 42 Papers 1 Volume 2013 CADE 2013 9-14 June Lake Placid, NY, USA Automated Deduction – CADE-24 33 Papers 1 Volume 2011 CADE 2011 31 July - 5 August Wrocław, Poland Automated Deduction – CADE-23 38 Papers 1 Volume 2009 CADE 2009 2-7 August Montreal, QC, Canada Automated Deduction – CADE-22 35 Papers 1 Volume 2007 CADE 2007 17-20 July Bremen, Germany Automated Deduction – CADE-21 38 Papers 1 Volume 2005 CADE 2005 22-27 July Tallinn, Estonia Automated Deduction – CADE-20 33 Papers 1 Volume 2003 CADE 2003 28 July - 2 August Miami Beach, FL, USA Automated Deduction – CADE-19 41 Papers 1 Volume 2002 CADE 2002 27-30 July Copenhagen, Denmark Automated Deduction—CADE-18 40 Papers 1 Volume 2000 CADE 2000 17-20 June Pittsburgh, PA, USA Automated Deduction - CADE-17 49 Papers 1 Volume 1999 CADE 1999 7-10 July Trento, Italy Automated Deduction — CADE-16 40 Papers 1 Volume 1998 CADE 1998 5-10 July Lindau, Germany Automated Deduction — CADE-15 37 Papers 1 Volume 1997 CADE 1997 13-17 July Townsville, QLD, Australia Automated Deduction—CADE-14 44 Papers 1 Volume 1996 CADE 1996 30 July - 3 August New Brunswick, NJ, USA Automated Deduction — Cade-13 63 Papers 1 Volume 1994 CADE 1994 26 June - 1 July Nancy, France Automated Deduction — CADE-12 72 Papers 1 Volume 1992 CADE 1992 15-18 June Saratoga Springs, NY, USA Automated Deduction—CADE-11 75 Papers 1 Volume 1990 CADE 1990 24-27 July Kaiserslautern, Germany 10th International Conference on Automated Deduction 74 Papers 1 Volume 1988 CADE 1988 23-26 May Argonne, IL, USA 9th International Conference on Automated Deduction 73 Papers 1 Volume 1986 CADE 1986 27 July - 1 August Oxford, UK 8th International Conference on Automated Deduction 74 Papers 1 Volume 1984 CADE 1984 14-16 May Napa, CA, USA 7th International Conference on Automated Deduction 30 Papers 1 Volume 1982 CADE 1982 7-9 June New York, NY, USA 6th Conference on Automated Deduction 23 Papers 1 Volume 1980 CADE 1980 8-11 July Les Arcs, France 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 28 Papers 1 Volume