37 results · clear filters Sort: newest oldest name

1. Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
   2025 · Stuttgart, Germany
   Computer and information sciences
   e10tg0s
2. Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
   2023 · Rome, Italy
   Computer and information sciences
   e10tfzv
3. Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
   2021
   Computer and information sciences
   e10tfyx
4. Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (CADE)
   2019-08-27/30 · Natal, Brazil
   Computer and information sciences
   e10tfxz
5. International Conference on Automated Deduction (CADE) (CADE)
   2018-07-13/19 · Oxford, United Kingdom
   Computer and information sciences
   e12j00q
6. International Conference on Automated Deduction (CADE)
   2017-08-06/11 · Gothenburg, Sweden
   Computer and information sciences
   e1014r7
7. International Conference on Automated Deduction (CADE) (CADE)
   2016-06-01 to 2016-07-02 · Coimbra, Portugal
   Computer and information sciences
   e12hzzv
8. International Conference on Automated Deduction (CADE)
   2015-08-01/07 · Berlin, Germany
   Computer and information sciences
   e1014q9
9. International Conference on Automated Deduction (CADE) (CADE)
   2014-07-19/24 · Vienna, Austria
   Computer and information sciences
   e12hzyx
10. International Conference on Automated Deduction (CADE)
    2013-06-09/14 · Lake Placid, United States
    Computer and information sciences
    e1014pb
11. International Conference on Automated Deduction (CADE) (CADE)
    2012-06-01 to 2012-07-30 · Manchester, United Kingdom
    Computer and information sciences
    e12hzxz
12. International Conference on Automated Deduction (CADE)
    2011-07-31 to 2011-08-05 · Wrocław, Poland
    Computer and information sciences
    e1014nd
13. International Conference on Automated Deduction (CADE) (CADE)
    2010-03-14 · Edinburgh, United Kingdom
    Computer and information sciences
    e12hzw1
14. International Conference on Automated Deduction (CADE)
    2009-08-02/07 · Montreal, Canada
    Computer and information sciences
    e1014mf
15. International Conference on Automated Deduction (CADE) (CADE)
    2008-08-10/15 · Sydney, Australia
    Computer and information sciences
    e12hzv3
16. International Conference on Automated Deduction (CADE)
    2007-07-17/20 · Bremen, Germany
    Computer and information sciences
    e1014kh
17. Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007
    2007 · Bremen, Germany
    Computer and information sciences
    e10tg2n
18. Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007
    2007 · Bremen, Germany
    Computer and information sciences
    e10tgyw
19. International Conference on Automated Deduction (CADE) (CADE)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e12hzt5
20. International Conference on Automated Deduction (CADE)
    2005-07-22/27 · Tallinn, Estonia
    Computer and information sciences
    e1014jk
21. International Conference on Automated Deduction (CADE) (CADE)
    2004-07-04/08 · Cork, Ireland
    Computer and information sciences
    e12hzs7
22. International Conference on Automated Deduction (CADE)
    2003-07-28 to 2003-08-02 · Miami Beach, United States
    Computer and information sciences
    e1014hn
23. International Conference on Automated Deduction (CADE)
    2002-07-27/30 · Copenhagen, Denmark
    Computer and information sciences
    e1014gq
24. International Conference on Automated Deduction (CADE) (CADE)
    2001-01-01 · Siena, Italy
    Computer and information sciences
    e12hzr9
25. International Conference on Automated Deduction (CADE)
    2000-06-17/20 · Pittsburgh, United States
    Computer and information sciences
    e1014ft

As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s109anq