CADE

International Conference on Automated Deduction

Search within this conference

Search

1. 2023

   CADE 2023

   • 1-4 July
   • Rome, Italy

   • Automated Deduction – CADE 29

     33 Papers

     1 Volume

2. 2021

   CADE 2021

   • 12-15 July

   • Automated Deduction – CADE 28

     38 Papers

     1 Volume

3. 2019

   CADE 2019

   • 27-30 August
   • Natal, Brazil

   • Automated Deduction – CADE 27

     34 Papers

     1 Volume

4. 2017

   CADE 2017

   • 6-11 August
   • Gothenburg, Sweden

   • Automated Deduction – CADE 26

     34 Papers

     1 Volume

5. 2015

   CADE 2015

   • 1-7 August
   • Berlin, Germany

   • Automated Deduction - CADE-25

     42 Papers

     1 Volume

6. 2013

   CADE 2013

   • 9-14 June
   • Lake Placid, NY, USA

   • Automated Deduction – CADE-24

     33 Papers

     1 Volume

7. 2011

   CADE 2011

   • 31 July - 5 August
   • Wroclaw, Poland

   • Automated Deduction – CADE-23

     38 Papers

     1 Volume

8. 2009

   CADE 2009

   • 2-7 August
   • Montreal, QC, Canada

   • Automated Deduction – CADE-22

     35 Papers

     1 Volume

9. 2007

   CADE 2007

   • 17-20 July
   • Bremen, Germany

   • Automated Deduction – CADE-21

     38 Papers

     1 Volume

10. 2005

    CADE 2005

    • 22-27 July
    • Tallinn, Estonia

    • Automated Deduction – CADE-20

      33 Papers

      1 Volume

11. 2003

    CADE 2003

    • 28 July - 2 August
    • Miami Beach, FL, USA

    • Automated Deduction – CADE-19

      41 Papers

      1 Volume

12. 2002

    CADE 2002

    • 27-30 July
    • Copenhagen, Denmark

    • Automated Deduction—CADE-18

      40 Papers

      1 Volume

13. 2000

    CADE 2000

    • 17-20 June
    • Pittsburgh, PA, USA

    • Automated Deduction - CADE-17

      49 Papers

      1 Volume

14. 1999

    CADE 1999

    • 7-10 July
    • Trento, Italy

    • Automated Deduction — CADE-16

      40 Papers

      1 Volume

15. 1998

    CADE 1998

    • 5-10 July
    • Lindau, Germany

    • Automated Deduction — CADE-15

      37 Papers

      1 Volume

16. 1997

    CADE 1997

    • 13-17 July
    • Townsville, QLD, Australia

    • Automated Deduction—CADE-14

      45 Papers

      1 Volume

17. 1996

    CADE 1996

    • 30 July - 3 August
    • New Brunswick, NJ, USA

    • Automated Deduction — Cade-13

      63 Papers

      1 Volume

18. 1994

    CADE 1994

    • 26 June - 1 July
    • Nancy, France

    • Automated Deduction — CADE-12

      72 Papers

      1 Volume

19. 1992

    CADE 1992

    • 15-18 June
    • Saratoga Springs, NY, USA

    • Automated Deduction—CADE-11

      75 Papers

      1 Volume

20. 1990

    CADE 1990

    • 24-27 July
    • Kaiserslautern, Germany

    • 10th International Conference on Automated Deduction

      74 Papers

      1 Volume

21. 1988

    CADE 1988

    • 23-26 May
    • Argonne, IL, USA

    • 9th International Conference on Automated Deduction

      73 Papers

      1 Volume

22. 1986

    CADE 1986

    • 27 July - 1 August
    • Oxford, United Kingdom

    • 8th International Conference on Automated Deduction

      74 Papers

      1 Volume

23. 1984

    CADE 1984

    • 14-16 May
    • Napa, CA, USA

    • 7th International Conference on Automated Deduction

      29 Papers

      1 Volume

24. 1982

    CADE 1982

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

    • 6th Conference on Automated Deduction

      23 Papers

      1 Volume

25. 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