International Conference on Automated Deduction (CADE)

CADE Home Page

24. CADE 2013: Lake Placid, NY, USA

6. IJCAR 2012: Manchester, UK

23. CADE 2011: Wroclaw, Poland

5. IJCAR 2010: Edinburgh, UK

22. CADE 2009: Montreal, Canada

4. IJCAR 2008: Sydney, NSW, Australia

21. CADE 2007: Bremen, Germany

3. IJCAR 2006: Seattle, WA, USA

20. CADE 2005: Tallinn, Estonia

2. IJCAR 2004: Cork, County Cork, Ireland

19. CADE 2003: Miami Beach, Florida, USA

18. CADE 2002: Copenhagen, Denmark

CADE 2002 was be part of FLoC 2002

1. IJCAR 2001: Siena, Italy

CADE 2001 is fusioned into IJCAR 2001

17. CADE 2000: Pittsburgh, PA, USA

Type-theoretic Languages: Proof search and Semantics: ENTCS 37

16. CADE 1999: Trento, Italy

15. CADE 1998: Lindau, Germany

Proof Search in Type-theoretic Languages: ENTCS 17

14. CADE 1997: Townsville, North Queensland, Australia

13. CADE 1996: New Brunswick, NJ, USA

12. CADE 1994: Nancy, France

11. CADE 1992: Saratoga Springs, NY, USA

10. CADE 1990: Kaiserslautern, Germany

9. CADE 1988: Argonne, Illinois, USA

8. CADE 1986: Oxford, England

7. CADE 1984: Napa, California, USA

6. CADE 1982: New York, USA

5. CADE 1980: Les Arcs, France

4. CADE 1979: Austin, Texas, USA

3. CADE 1977: MIT, USA

2. CADE 1976: Oberwolfach, Germany

1. CADE 1974: Argonne National Laboratory, USA

IEEE Transactions on Computers 25(8)