26 results · clear filters Sort: newest oldest name

1. International Conference on Automated Deduction (CADE 2021)
   2021-07-12/15 · online
   Computer and information sciences
   e12frkz
2. International Conference on Automated Deduction (CADE)
   series, 25 events, 1980 to 2021
   MathematicsComputer and information sciences
   s124vhp
3. International Conference on Automated Deduction (CADE 2020)
   2020-06-29 to 2020-07-02 · online
   Computer and information sciences
   e12frj1
4. The 27th International Conference on Automated Deduction (CADE 2019)
   2019-08-25/30 · Natal, Brazil
   Mathematics
   e125jac
5. 26th International Conference on Automated Deduction (CADE 2017)
   2017-08-08/11 · Gothenburg, Sweden
   Mathematics
   e12frh3
6. e12frg5 (CADE 2015)
   2015-01-08 · Berlin, Germany
   Mathematics
   e12frg5
7. e12frf8 (CADE 2013)
   2013-09-06 · Lake Placid, United States
   Mathematics
   e12frf8
8. e12frea (CADE 2011)
   2011-07-31 · Wrocław, Poland
   Mathematics
   e12frea
9. e12frdc (CADE 2009)
   2009-02-08 · Montreal, Canada
   Mathematics
   e12frdc
10. e12frce (CADE 2007)
    2007-07-17/20 · Bremen, Germany
    Mathematics
    e12frce
11. e12frbg (CADE 2005)
    2005-07-22/27 · Tallinn, Estonia
    Mathematics
    e12frbg
12. e12fraj (CADE 2003)
    2003-07-28 · Miami Beach, United States
    Mathematics
    e12fraj
13. e12fr9m (CADE 2002)
    2002-07-27/30 · Copenhagen, Denmark
    Mathematics
    e12fr9m
14. e12fr8p (CADE 2000)
    2000-07-17/20 · Pittsburgh, United States
    Mathematics
    e12fr8p
15. e12fr6t (CADE 1999)
    1999-07-07 · Trento, Italy
    Mathematics
    e12fr6t
16. e12fr7r (CADE 1998)
    1998-05-07 · Lindau, Germany
    Mathematics
    e12fr7r
17. e12fr5w (CADE 1997)
    1997-07-13/17 · Townsville, Australia
    Mathematics
    e12fr5w
18. e12fr4y (CADE 1996)
    1996-07-30 · New Brunswick, United States
    Mathematics
    e12fr4y
19. e12fr30 (CADE 1994)
    1994-06-26 · Nancy, France
    Mathematics
    e12fr30
20. e12fr22 (CADE 1992)
    1992-06-15/18 · Saratoga Springs, United States
    Mathematics
    e12fr22
21. e12fr14 (CADE 1990)
    1990-07-24/27 · Kaiserslautern, Germany
    Mathematics
    e12fr14
22. e12fr06 (CADE 1988)
    1988-05-23/26 · Argonne, United States
    Mathematics
    e12fr06
23. e12fqz8 (CADE 1986)
    1986-07-27 · Oxford, United Kingdom
    Mathematics
    e12fqz8
24. e12fqya (CADE 1984)
    1984-05-14/16 · Napa, United States
    Mathematics
    e12fqya
25. e12fqxc (CADE 1982)
    1982-07-06 · New York, United States
    Mathematics
    e12fqxc

As JSON: https://labs.confref.org/api/search?series=s124vhp