--- title: "CADE (A): papers and universities" description: "CADE (International Conference on Automated Deduction) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 39 of its papers from 2024–2026 (39 in 2025; 2024 and 2026 not in OpenAlex yet). By the countries of the authors' institutions, the most papers come from Germany (11), the United Kingdom (7) and Austria (5)." url: https://scholar4ai.com/proceedings/cade markdown_url: https://scholar4ai.com/proceedings/cade.md license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/) share_text: "CADE (International Conference on Automated Deduction) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 39 of its papers from 2024–2026 (39 in 2025; 2024 and 2026 not in OpenAlex yet). (as of 2026-11-02)" data_url: https://scholar4ai.com/data/rankings.json updated: 2026-11-02T12:20:52+09:00 window: 2026-10-04 to 2026-11-02 source: OpenAlex (CC0) --- # CADE: International Conference on Automated Deduction — papers and institutions, 2024–2026 Papers of CADE, International Conference on Automated Deduction (CORE rank A; field: Artificial intelligence), 2024–2026: per year, the institutions, countries and topics, and the most-cited papers. Ranks are those of the CORE Conference Rankings, edition ICORE2026 (portal.core.edu.au), applied to every year shown. Papers are the works OpenAlex lists for the conference's proceedings, or for the issues of a conference-linked journal that publishes its papers (such as PACMPL, PVLDB or ACM TOG), by publication year; workshops, companion volumes, posters and Findings are left out. A paper counts once for each institution and country among its authors' affiliations as OpenAlex assigns them; papers without affiliations in OpenAlex count for none. For conferences published in book series that OpenAlex files as one source (LNCS, LIPIcs, SIAM and IOS Press proceedings), the papers are found by DOI: those of the volumes with the conference's title in Crossref, or LIPIcs DOIs, which name the conference. Conferences without DOIs (PMLR, USENIX, OpenReview) are listed without counts. A dash (–) for a year means OpenAlex has no papers of the conference for it yet: the proceedings are not published or indexed yet, or the conference did not meet that year (some meet every other year). 2026 counts what OpenAlex had indexed by 2026-11-02. All conferences: https://scholar4ai.com/proceedings.md ## Key findings - CADE (International Conference on Automated Deduction) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 39 of its papers from 2024–2026 (39 in 2025; 2024 and 2026 not in OpenAlex yet). - By the countries of the authors' institutions, the most papers come from Germany (11), the United Kingdom (7) and Austria (5). - The institutions with the most papers are Centre National de la Recherche Scientifique (4), TU Wien (4) and University of Manchester (4). - Its most-cited paper of these years is “Being Polite Is Not Enough (and Other Limits of Theory Combination)” (2025), with 3 citations. ## Papers per year *CADE papers per publication year in OpenAlex (–: not in OpenAlex yet)* | Year | Papers | With affiliations | |---|---:|---:| | 2024 | – | – | | 2025 | 39 | 37 | | 2026 | – | – | ## Sources *Where OpenAlex lists the papers* | OpenAlex source | Which papers | |---|---| | [S106296714](https://openalex.org/S106296714) | Papers of the volumes titled “Automated Deduction – CADE” (LNAI, in the years without IJCAR), found by DOI through Crossref | ## Who publishes there *Institutions with the most CADE papers, 2024–2026* | # | Institution | Papers | |---:|---|---:| | 1 | [Centre National de la Recherche Scientifique](https://scholar4ai.com/institutions/centre-national-de-la-recherche-scientifique.md) | 4 | | 2 | TU Wien | 4 | | 3 | [University of Manchester](https://scholar4ai.com/institutions/university-of-manchester.md) | 4 | | 4 | Institut national de recherche en sciences et technologies du numérique | 3 | | 5 | Czech Technical University in Prague | 3 | | 6 | Universidade de Brasília | 2 | | 7 | University of Trento | 2 | | 8 | University of Cambridge | 2 | | 9 | Max Planck Institute for Informatics | 2 | | 10 | Technical University of Munich | 2 | *Countries with the most CADE papers, 2024–2026* | # | Country | Papers | |---:|---|---:| | 1 | Germany | 11 | | 2 | United Kingdom | 7 | | 3 | Austria | 5 | | 4 | France | 5 | | 5 | United States | 4 | | 6 | Czechia | 3 | | 7 | Italy | 3 | | 8 | Brazil | 2 | | 9 | Canada | 2 | | 10 | Poland | 2 | *Keywords with the most CADE papers, 2024–2026* | # | Keyword | Papers | |---:|---|---:| | 1 | SMT solvers | 8 | | 2 | automated theorem proving | 8 | | 3 | satisfiability modulo theories | 4 | | 4 | soundness and completeness | 4 | | 5 | Isabelle/HOL | 3 | | 6 | Vampire theorem prover | 3 | | 7 | commutativity | 3 | | 8 | decidability | 3 | | 9 | sequent calculus | 3 | | 10 | undecidability | 3 | ## Most-cited papers *Most-cited CADE papers of 2024–2026 (citations counted by OpenAlex)* | # | Citations | Title | Published | Authors | |---:|---:|---|---|---| | 1 | 3 | [Being Polite Is Not Enough (and Other Limits of Theory Combination)](https://doi.org/10.1007/978-3-031-99984-0_2) | 2025-01-01 | Guilherme V. Toledo, Benjamin Przybocki, Yoni Zohar | | 2 | 3 | [A Theorem Prover Based Approach for SAT-Based Model Checking Certification](https://doi.org/10.1007/978-3-031-99984-0_24) | 2025-01-01 | Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi et al. | | 3 | 3 | [Term Ordering Diagrams](https://doi.org/10.1007/978-3-031-99984-0_29) | 2025-01-01 | Márton Hajdú, Robin Coutelier, Laura Kovács et al. | | 4 | 2 | [Cut Elimination for Negative Free Logics with Definite Descriptions](https://doi.org/10.1007/978-3-031-99984-0_19) | 2025-01-01 | Andrzej Indrzejczak | | 5 | 2 | [Faithful Logic Embeddings in HOL— Deep and Shallow](https://doi.org/10.1007/978-3-031-99984-0_16) | 2025-01-01 | Christoph Benzmüller | | 6 | 2 | [Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification](https://doi.org/10.1007/978-3-031-99984-0_5) | 2025-01-01 | Yi Zhou, Amar Shah, Zhengyao Lin et al. | | 7 | 2 | [A Real-Analytic Approach to Differential-Algebraic Dynamic Logic](https://doi.org/10.1007/978-3-031-99984-0_36) | 2025-01-01 | Jonathan Hellwig, André Platzer | | 8 | 2 | [On Symbol Elimination and Uniform Interpolation in Theory Extensions](https://doi.org/10.1007/978-3-031-99984-0_3) | 2025-01-01 | Viorica Sofronie-Stokkermans | | 9 | 2 | [Partial Redundancy in Saturation](https://doi.org/10.1007/978-3-031-99984-0_28) | 2025-01-01 | Márton Hajdú, Laura Kovács, Андрей Воронков | | 10 | 1 | [Interoperability of Proof Systems with SC-TPTP](https://doi.org/10.1007/978-3-031-99984-0_18) | 2025-01-01 | Simon Guilloud, Julie Cailler, Sankalp Gambhir et al. | ## Cite this page Scholar4AI. (2026). CADE: International Conference on Automated Deduction — papers and institutions, 2024–2026. Journal and Conference Research Rankings. Retrieved November 2, 2026, from https://scholar4ai.com/proceedings/cade ```bibtex @misc{scholar4ai-proceedings-cade, author = {{Scholar4AI}}, title = {CADE: International Conference on Automated Deduction — papers and institutions, 2024–2026}, year = {2026}, howpublished = {\url{https://scholar4ai.com/proceedings/cade}}, urldate = {2026-11-02}, note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0} } ``` License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).