CADE

International Conference on Automated Deduction

  1. 2023

    CADE 2023

    • 1-4 July
    • Rome, Italy
  2. 2021

    CADE 2021

    • 12-15 July
  3. 2019

    CADE 2019

    • 27-30 August
    • Natal, Brazil
  4. 2017

    CADE 2017

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

    CADE 2015

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

    CADE 2013

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

    CADE 2011

    • 31 July - 5 August
    • Wroclaw, Poland
  8. 2009

    CADE 2009

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

    CADE 2007

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

    CADE 2005

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

    CADE 2003

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

    CADE 2002

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

    CADE 2000

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

    CADE 1999

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

    CADE 1998

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

    CADE 1997

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

    CADE 1996

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

    CADE 1994

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

    CADE 1992

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

    CADE 1990

    • 24-27 July
    • Kaiserslautern, Germany
  21. 1988

    CADE 1988

    • 23-26 May
    • Argonne, IL, USA
  22. 1986

    CADE 1986

    • 27 July - 1 August
    • Oxford, United Kingdom
  23. 1984

    CADE 1984

    • 14-16 May
    • Napa, CA, USA
  24. 1982

    CADE 1982

    • 7-9 June
    • New York, NY, USA
  25. 1980

    CADE 1980

    • 8-11 July
    • Les Arcs, France