CADE

International Conference on Automated Deduction

  1. 2017

    CADE 2017

    • 6-11 August
    • Gothenburg, Sweden
  2. 2015

    CADE 2015

    • 1-7 August
    • Berlin, Germany
  3. 2013

    CADE 2013

    • 9-14 June
    • Lake Placid, NY, USA
  4. 2011

    CADE 2011

    • 31 July - 5 August
    • Wrocław, Poland
  5. 2009

    CADE 2009

    • 2-7 August
    • Montreal, QC, Canada
  6. 2007

    CADE 2007

    • 17-20 July
    • Bremen, Germany
  7. 2005

    CADE 2005

    • 22-27 July
    • Tallinn, Estonia
  8. 2003

    CADE 2003

    • 28 July - 2 August
    • Miami Beach, FL, USA
  9. 2002

    CADE 2002

    • 27-30 July
    • Copenhagen, Denmark
  10. 2000

    CADE 2000

    • 17-20 June
    • Pittsburgh, PA, USA
  11. 1999

    CADE 1999

    • 7-10 July
    • Trento, Italy
  12. 1998

    CADE 1998

    • 5-10 July
    • Lindau, Germany
  13. 1997

    CADE 1997

    • 13-17 July
    • Townsville, QLD, Australia
  14. 1996

    CADE 1996

    • 30 July - 3 August
    • New Brunswick, NJ, USA
  15. 1994

    CADE 1994

    • 26 June - 1 July
    • Nancy, France
  16. 1992

    CADE 1992

    • 15-18 June
    • Saratoga Springs, NY, USA
  17. 1990

    CADE 1990

    • 24-27 July
    • Kaiserslautern, Germany
  18. 1982

    CADE 1982

    • 7-9 June
    • New York, NY, USA