Skip to content

CADE 2027

The Conference on Automated Deduction

Theory
137days left

Abstract · Feb 15, 2027 ✓ verified

On the horizon · deadline is AoE (UTC-12)

Add to Google Calendar

All deadlines

AbstractFeb 15, 2027✓ verified
Paper submissionFeb 22, 2027✓ verified

From past proceedings

Papers in CADE's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

38

main DBLP volume

5-year change

+15%

vs 2020

Papers, all years

1,632

37 years since 1980

Authors per paper

2.8

2.6 in 2015

By an entirely new team

8%

of 2025 papers

Papers per year1980 to 2025
1980: 28 papers1982: 23 papers1984: 29 papers1986: 72 papers1988: 73 papers1990: 74 papers1992: 74 papers1994: 73 papers1996: 63 papers1997: 44 papers1998: 37 papers1999: 37 papers2000: 49 papers2001: 59 papers2002: 40 papers2003: 41 papers2004: 36 papers2005: 33 papers2006: 53 papers2007: 38 papers2008: 44 papers2009: 35 papers2010: 43 papers2011: 38 papers2012: 44 papers2013: 33 papers2014: 40 papers2015: 42 papers2016: 38 papers2017: 34 papers2018: 46 papers2019: 34 papers2020: 33 papers2021: 38 papers2022: 43 papers2023: 33 papers2025: 38 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

checkingeliminationgroundmoduloproofsrewritingcombinationcommutativityconfluencehigher-order rewritinghollogics

Venues like CADE

  1. IJCAR International Joint Conference on Automated Reasoning0.34logicssuperpositionlogictheorem
  2. FSCD International Conference on Formal Structures for Computation and Deduction0.19rewritingterm rewritinglogicconfluence
  3. LICS IEEE Symposium on Logic in Computer Science0.15logicslogicequationalhigher-order
  4. FM International Symposium on Formal Methods0.15isabellehollogicverified

Most published at CADE

  1. Andrei Voronkov1990 to 202533
  2. Christoph Weidenbach1996 to 202532
  3. Geoff Sutcliffe1990 to 201924
  4. Aart Middeldorp1994 to 202521
  5. Jürgen Giesl1998 to 202521

Who publishes here

2023 · papers count once per institution on them

Academia 77%Industry 2%Government and other 21%

Institutions

  1. 1TU Wien🇦🇹4
  2. 2University of Manchester🇬🇧4
  3. 3Max Planck Institute for Informatics🇩🇪4
  4. 4University of Liège🇧🇪3
  5. 5VERIDIS: Modeling and Verification of Distributed Algorithms and Systems🇫🇷3
  6. 6RWTH Aachen University🇩🇪3
  7. 7SRI International🇺🇸2
  8. 8University of Freiburg🇩🇪2

Countries

    Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.