CADE Home Page

24. CADE 2013: Lake Placid, NY, USA

• 
  Maria Paola Bonacina (Ed.): Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7898 ISBN 978-3-642-38573-5 [ contents ]

6. IJCAR 2012: Manchester, UK

• 
  Bernhard Gramlich, Dale Miller, Uli Sattler (Eds.): Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7364 ISBN 978-3-642-31364-6 [ contents ]
• 
  Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (Eds.): Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 873 [ contents ]

23. CADE 2011: Wroclaw, Poland

• 
  Nikolaj Bjørner, Viorica Sofronie-Stokkermans (Eds.): Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6803 ISBN 978-3-642-22437-9 [ contents ]

5. IJCAR 2010: Edinburgh, UK

• 
  Jürgen Giesl, Reiner Hähnle (Eds.): Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6173 ISBN 978-3-642-14202-4 [ contents ]
• 
  Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan (Eds.): Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. CEUR-WS.org 2010 CEUR Workshop Proceedings 613 [ contents ]

22. CADE 2009: Montreal, Canada

• 
  Renate A. Schmidt (Ed.): Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5663 ISBN 978-3-642-02958-5 [ contents ]

4. IJCAR 2008: Sydney, NSW, Australia

• 
  Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.): Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science 5195 ISBN 978-3-540-71069-1 [ contents ]
• 
  Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.): Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. CEUR-WS.org 2008 CEUR Workshop Proceedings 373 [ contents ]
• 
  Bernhard Beckert, Gerwin Klein (Eds.): Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. CEUR-WS.org 2008 CEUR Workshop Proceedings 372 [ contents ]

21. CADE 2007: Bremen, Germany

• 
  Frank Pfenning (Ed.): Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4603 ISBN 978-3-540-73594-6 [ contents ]
• 
  Geoff Sutcliffe, Josef Urban, Stephan Schulz (Eds.): Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. CEUR-WS.org 2007 CEUR Workshop Proceedings 257 [ contents ]
• 
  Bernhard Beckert (Ed.): Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. CEUR-WS.org 2007 CEUR Workshop Proceedings 259 [ contents ]

3. IJCAR 2006: Seattle, WA, USA

• 
  Ulrich Furbach, Natarajan Shankar (Eds.): Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4130 ISBN 3-540-37187-7 [ contents ]
• 
  IJCAR 2006 Home Page

20. CADE 2005: Tallinn, Estonia

• 
  Robert Nieuwenhuis (Ed.): Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3632 ISBN 3-540-28005-7 [ contents ]

2. IJCAR 2004: Cork, County Cork, Ireland

• 
  David A. Basin, Michaël Rusinowitch (Eds.): Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3097 ISBN 3-540-22345-2 [ contents ]
• 
  Ulrike Sattler (Ed.): Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. CEUR-WS.org 2004 CEUR Workshop Proceedings 106 [ contents ]

19. CADE 2003: Miami Beach, Florida, USA

• 
  Franz Baader (Ed.): Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2741 ISBN 3-540-40559-3 [ contents ]

18. CADE 2002: Copenhagen, Denmark

• 
  Andrei Voronkov (Ed.): Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2392 ISBN 3-540-43931-5 [ contents ]

CADE 2002 was be part of FLoC 2002

1. IJCAR 2001: Siena, Italy

CADE 2001 is fusioned into IJCAR 2001

• 
  Rajeev Goré, Alexander Leitsch, Tobias Nipkow (Eds.): Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2083 ISBN 3-540-42254-4 [ contents ]
• 
  4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)

17. CADE 2000: Pittsburgh, PA, USA

• 
  David A. McAllester (Ed.): Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1831 ISBN 3-540-67664-3 [ contents ]

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

16. CADE 1999: Trento, Italy

• 
  Harald Ganzinger (Ed.): Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science 1632 ISBN 3-540-66222-7 [ contents ]

15. CADE 1998: Lindau, Germany

• 
  Claude Kirchner, Hélène Kirchner (Eds.): Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1421 ISBN 3-540-64675-2 [ contents ]

Proof Search in Type-theoretic Languages: ENTCS 17

14. CADE 1997: Townsville, North Queensland, Australia

• 
  William McCune (Ed.): Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science 1249 ISBN 3-540-63104-6 [ contents ]

13. CADE 1996: New Brunswick, NJ, USA

• 
  Michael A. McRobbie, John K. Slaney (Eds.): Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science 1104 ISBN 3-540-61511-3 [ contents ]

12. CADE 1994: Nancy, France

• 
  Alan Bundy (Ed.): Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science 814 ISBN 3-540-58156-1 [ contents ]

11. CADE 1992: Saratoga Springs, NY, USA

• 
  Deepak Kapur (Ed.): Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings. Springer 1992 Lecture Notes in Computer Science 607 ISBN 3-540-55602-8 [ contents ]

10. CADE 1990: Kaiserslautern, Germany

• 
  Mark E. Stickel (Ed.): 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Springer 1990 Lecture Notes in Computer Science 449 ISBN 3-540-52885-7 [ contents ]

9. CADE 1988: Argonne, Illinois, USA

• 
  Ewing L. Lusk, Ross A. Overbeek (Eds.): 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Springer 1988 Lecture Notes in Computer Science 310 ISBN 3-540-19343-X [ contents ]

8. CADE 1986: Oxford, England

• 
  Jörg H. Siekmann (Ed.): 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Springer 1986 Lecture Notes in Computer Science 230 ISBN 3-540-16780-3 [ contents ]

7. CADE 1984: Napa, California, USA

• 
  Robert E. Shostak (Ed.): 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings. Springer 1984 Lecture Notes in Computer Science 170 ISBN 3-540-96022-8 [ contents ]

6. CADE 1982: New York, USA

• 
  Donald W. Loveland (Ed.): 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings. Springer 1982 Lecture Notes in Computer Science 138 ISBN 3-540-11558-7 [ contents ]

5. CADE 1980: Les Arcs, France

• 
  Wolfgang Bibel, Robert A. Kowalski (Eds.): 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Springer 1980 Lecture Notes in Computer Science 87 ISBN 3-540-10009-1 [ contents ]

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)