Papers in 2025
38
Papers, all years
1,632
Years indexed
37
Since
1980
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202538 papers✓ verified
Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2023 · papers count once per institution on them
Academia 77%Industry 2%Government and other 21%
Institutions
- 1TU Wien🇦🇹4
- 2University of Manchester🇬🇧4
- 3Max Planck Institute for Informatics🇩🇪4
- 4University of Liège🇧🇪3
- 5VERIDIS: Modeling and Verification of Distributed Algorithms and Systems🇫🇷3
- 6RWTH Aachen University🇩🇪3
- 7SRI International🇺🇸2
- 8University of Freiburg🇩🇪2
- 9Friedrich-Alexander-Universität Erlangen-Nürnberg🇩🇪2
- 10Universität Innsbruck🇦🇹2
- 11Technical University of Munich🇩🇪2
- 12Ludwig-Maximilians-Universität München🇩🇪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.
Venues like CADE
Closest by the phrases in their paper titles over the last five complete years.
- IJCAR International Joint Conference on Automated Reasoning0.34logicssuperpositionlogictheoremmodulo
- FSCD International Conference on Formal Structures for Computation and Deduction0.19rewritingterm rewritinglogicconfluencehigher-order rewriting
- LICS IEEE Symposium on Logic in Computer Science0.15logicslogicequationalhigher-ordercalculus
- FM International Symposium on Formal Methods0.15isabellehollogicverifiedisabelle hol
- KR International Conference on Principles of Knowledge Representation and Reasoning0.13logicsdescription logicslogicdescriptionreasoning
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
2.8 in 2025
Papers by an entirely new team
8% in 2025
Most published at CADE
- Andrei Voronkov1990 to 202533
- Christoph Weidenbach1996 to 202532
- Geoff Sutcliffe1990 to 201924
- Aart Middeldorp1994 to 202521
- Jürgen Giesl1998 to 202521
- Deepak Kapur1984 to 201920
- Cesare Tinelli1997 to 202219
- Nicolas Peltier1994 to 202118
- Peter Baumgartner1994 to 202118
- Alan Bundy1980 to 201017