International Conference on Automated Deduction (CADE)
CADE Home Page
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.
Lecture Notes in Computer Science 5663 Springer 2009, 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.
Lecture Notes in Computer Science 5195 Springer 2008, 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 Workshop Proceedings 373 CEUR-WS.org 2008
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 Workshop Proceedings 372 CEUR-WS.org 2008
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.
Lecture Notes in Computer Science 4603 Springer 2007, 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 Workshop Proceedings 257 CEUR-WS.org 2007
Contents
Bernhard Beckert (Ed.):
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007.
CEUR Workshop Proceedings 259 CEUR-WS.org 2007
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.
Lecture Notes in Computer Science 4130 Springer 2006, 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.
Lecture Notes in Computer Science 3632 Springer 2005, 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.
Lecture Notes in Computer Science 3097 Springer 2004, ISBN 3-540-22345-2
Contents
- IJCAR 2004 Home Page
Ulrike Sattler (Ed.):
Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.
CEUR Workshop Proceedings 106 CEUR-WS.org 2004
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.
Lecture Notes in Computer Science 2741 Springer 2003, 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.
Lecture Notes in Computer Science 2392 Springer 2002, 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.
Lecture Notes in Computer Science 2083 Springer 2001, ISBN 3-540-42254-4
Contents
- IJCAR 2001 Home Page
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.
Lecture Notes in Computer Science 1831 Springer 2000, 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.
Lecture Notes in Computer Science 1632 Springer 1999, ISBN 3-540-66222-7
Contents
- CADE 1999 Home Page
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.
Lecture Notes in Computer Science 1421 Springer 1998, 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.
Lecture Notes in Computer Science 1249 Springer 1997, 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.
Lecture Notes in Computer Science 1104 Springer 1996, 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.
Lecture Notes in Computer Science 814 Springer 1994, 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.
Lecture Notes in Computer Science 607 Springer 1992, 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.
Lecture Notes in Computer Science 449 Springer 1990, 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.
Lecture Notes in Computer Science 310 Springer 1988, 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.
Lecture Notes in Computer Science 230 Springer 1986, 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.
Lecture Notes in Computer Science 170 Springer 1984, 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.
Lecture Notes in Computer Science 138 Springer 1982, 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.
Lecture Notes in Computer Science 87 Springer 1980, 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)
Copyright © Mon Mar 15 03:18:19 2010
by Michael Ley (ley@uni-trier.de)
