International Conference on Automated Deduction (CADE)

CADE Home Page

26th CADE 2017: Gothenburg, Sweden

• 
  Leonardo de Moura:
  Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. Lecture Notes in Computer Science 10395, Springer 2017, ISBN 978-3-319-63045-8 [contents]
• 
  Giles Reger, Dmitriy Traytel:
  ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. EPiC Series in Computing 51, EasyChair 2017 [contents]
• 
  Pedro Quaresma, Walther Neuper:
  Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. EPTCS 267, 2018 [contents]

8th IJCAR 2016: Coimbra, Portugal

• 
  Nicola Olivetti, Ashish Tiwari:
  Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Lecture Notes in Computer Science 9706, Springer 2016, ISBN 978-3-319-40228-4 [contents]
• 
  Jasmin Christian Blanchette, Cezary Kaliszyk:
  Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016. EPTCS 210, 2016 [contents]
• 
  Tim King, Ruzica Piskac:
  Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. CEUR Workshop Proceedings 1617, CEUR-WS.org 2016 [contents]
• 
  Pascal Fontaine, Stephan Schulz, Josef Urban:
  Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. CEUR Workshop Proceedings 1635, CEUR-WS.org 2016 [contents]
• 
  Christoph Benzmüller, Jens Otten:
  Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016. CEUR Workshop Proceedings 1770, CEUR-WS.org 2016 [contents]
• 
  Serge Autexier, Pedro Quaresma:
  Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. EPTCS 239, 2017 [contents]
• 
  Laura Kovács, Andrei Voronkov:
  Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. EPiC Series in Computing 44, EasyChair 2017 [contents]

25th CADE 2015: Berlin, Germany

• 
  Amy P. Felty, Aart Middeldorp:
  Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Lecture Notes in Computer Science 9195, Springer 2015, ISBN 978-3-319-21400-9 [contents]
• 
  Ulrich Furbach, Claudia Schon:
  Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015. CEUR Workshop Proceedings 1412, CEUR-WS.org 2015 [contents]
• 
  Cezary Kaliszyk, Andrei Paskevich:
  Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. EPTCS 186, 2015 [contents]
• 
  Laura Kovács, Andrei Voronkov:
  Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015. EPiC Series in Computing 38, EasyChair 2016 [contents]

7th IJCAR 2014: Vienna, Austria

• 
  Stéphane Demri, Deepak Kapur, Christoph Weidenbach:
  Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. Lecture Notes in Computer Science 8562, Springer 2014, ISBN 978-3-319-08586-9 [contents]
• 
  Christoph Benzmüller, Jens Otten:
  Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014. EPiC Series in Computing 33, EasyChair 2015 [contents]
• 
  Stephan Schulz, Leonardo de Moura, Boris Konev:
  4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. EPiC Series in Computing 31, EasyChair 2015 [contents]
• 
  Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
  Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. CEUR Workshop Proceedings 1205, CEUR-WS.org 2014 [contents]

24th CADE 2013: Lake Placid, NY, USA

• 
  Maria Paola Bonacina:
  Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Lecture Notes in Computer Science 7898, Springer 2013, ISBN 978-3-642-38573-5 [contents]
• 
  Jasmin Christian Blanchette, Josef Urban:
  Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. EPiC Series in Computing 14, EasyChair 2013 [contents]

6th IJCAR 2012: Manchester, UK

• 
  Bernhard Gramlich, Dale Miller, Uli Sattler:
  Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Lecture Notes in Computer Science 7364, Springer 2012, ISBN 978-3-642-31364-6 [contents]
• 
  Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe:
  Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR Workshop Proceedings 873, CEUR-WS.org 2012 [contents]
• 
  Pascal Fontaine, Amit Goel:
  10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 20, EasyChair 2013 [contents]
• 
  Pascal Fontaine, Renate A. Schmidt, Stephan Schulz:
  Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 21, EasyChair 2013 [contents]
• 
  Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill:
  ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012. EPiC Series in Computing 17, EasyChair 2013 [contents]
• 
  Geoff Sutcliffe:
  The 6th IJCAR ATP System Competition, CASC-J6, June 28, 2012, Manchester, UK. EPiC Series in Computing 11, EasyChair 2012
• 
  Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov:
  UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. EPiC Series in Computing 24, EasyChair 2014 [contents]

23rd CADE 2011: Wroclaw, Poland

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

5th IJCAR 2010: Edinburgh, UK

• 
  Jürgen Giesl, Reiner Hähnle:
  Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Lecture Notes in Computer Science 6173, Springer 2010, ISBN 978-3-642-14202-4 [contents]
• 
  Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
  Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. CEUR Workshop Proceedings 613, CEUR-WS.org 2010 [contents]
• 
  Renate A. Schmidt, Stephan Schulz, Boris Konev:
  Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010. EPiC Series in Computing 9, EasyChair 2012 [contents]
• 
  Aaron Stump, Geoff Sutcliffe, Cesare Tinelli:
  Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010. EPiC Series in Computing 6, EasyChair 2012 [contents]
• 
  Markus Aderhold, Serge Autexier, Heiko Mantel:
  6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. EPiC Series in Computing 3, EasyChair 2012 [contents]
• 
  Andrei Voronkov, Laura Kovács, Nikolaj Bjørner:
  Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 1, EasyChair 2012 [contents]

22nd CADE 2009: Montreal, Canada

• 
  Renate A. Schmidt:
  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]

4th IJCAR 2008: Sydney, NSW, Australia

• 
  Alessandro Armando, Peter Baumgartner, Gilles Dowek:
  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:
  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:
  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]

21st CADE 2007: Bremen, Germany

• 
  Frank Pfenning:
  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:
  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:
  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]

3rd IJCAR 2006: Seattle, WA, USA

• 
  Ulrich Furbach, Natarajan Shankar:
  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

20th CADE 2005: Tallinn, Estonia

• 
  Robert Nieuwenhuis:
  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]

2nd IJCAR 2004: Cork, County Cork, Ireland

• 
  David A. Basin, Michaël Rusinowitch:
  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]
• 
  Ulrike Sattler:
  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]

19th CADE 2003: Miami Beach, Florida, USA

• 
  Franz Baader:
  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]

18th CADE 2002: Copenhagen, Denmark

• 
  Andrei Voronkov:
  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

1st IJCAR 2001: Siena, Italy

CADE 2001 is fusioned into IJCAR 2001

• 
  Rajeev Goré, Alexander Leitsch, Tobias Nipkow:
  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]

4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)

17th CADE 2000: Pittsburgh, PA, USA

• 
  David A. McAllester:
  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

16th CADE 1999: Trento, Italy

• 
  Harald Ganzinger:
  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]

15th CADE 1998: Lindau, Germany

• 
  Claude Kirchner, Hélène Kirchner:
  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

14th CADE 1997: Townsville, North Queensland, Australia

• 
  William McCune:
  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]

13th CADE 1996: New Brunswick, NJ, USA

• 
  Michael A. McRobbie, John K. Slaney:
  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]

12th CADE 1994: Nancy, France

• 
  Alan Bundy:
  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]

11th CADE 1992: Saratoga Springs, NY, USA

• 
  Deepak Kapur:
  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]

10th CADE 1990: Kaiserslautern, Germany

• 
  Mark E. Stickel:
  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]

9th CADE 1988: Argonne, Illinois, USA

• 
  Ewing L. Lusk, Ross A. Overbeek:
  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]

8th CADE 1986: Oxford, England

• 
  Jörg H. Siekmann:
  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]

7th CADE 1984: Napa, California, USA

• 
  Robert E. Shostak:
  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]

6th CADE 1982: New York, USA

• 
  Donald W. Loveland:
  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]

5th CADE 1980: Les Arcs, France

• 
  Wolfgang Bibel, Robert A. Kowalski:
  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]

4th CADE 1979: Austin, Texas, USA

3rd CADE 1977: MIT, USA

2nd CADE 1976: Oberwolfach, Germany

1st CADE 1974: Argonne National Laboratory, USA

IEEE Transactions on Computers 25(8)