Conference on Automated Deduction (CADE)

Venue statistics

records by year

document access 

    frequent authors

      28th CADE 2021: Virtual Event

      27th CADE 2019: Natal, Brazil

      26th CADE 2017: Gothenburg, Sweden

      25th CADE 2015: Berlin, Germany

      24th CADE 2013: Lake Placid, NY, USA

      23rd CADE 2011: Wroclaw, Poland

      22nd CADE 2009: Montreal, Canada

      21st CADE 2007: Bremen, Germany

      20th CADE 2005: Tallinn, Estonia

      19th CADE 2003: Miami Beach, Florida, USA

      18th CADE 2002: Copenhagen, Denmark

      CADE 2002 was be part of FLoC 2002

      17th CADE 2000: Pittsburgh, PA, USA

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

      16th CADE 1999: Trento, Italy

      15th CADE 1998: Lindau, Germany

      Proof Search in Type-theoretic Languages: ENTCS 17

      14th CADE 1997: Townsville, North Queensland, Australia

      13th CADE 1996: New Brunswick, NJ, USA

      12th CADE 1994: Nancy, France

      11th CADE 1992: Saratoga Springs, NY, USA

      10th CADE 1990: Kaiserslautern, Germany

      9th CADE 1988: Argonne, Illinois, USA

      8th CADE 1986: Oxford, England

      7th CADE 1984: Napa, California, USA

      6th CADE 1982: New York, USA

      5th CADE 1980: Les Arcs, France

      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)

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics