Papers in 2024
48
Papers, all years
97
Years indexed
2
Since
2024
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.
202448 papers✓ verified· 2 volumes
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
| Year | Papers (DBLP) | Status | Read the proceedings |
|---|---|---|---|
| 49 | in progress | Volume 1 ↗DBLP ↗Volume 2 ↗DBLP ↗ | |
| 48 | ✓ verified | Volume 1 ↗DBLP ↗Volume 2 ↗DBLP ↗ |
Who publishes here
2026 · papers count once per institution on them
Academia 79%Industry 5%Government and other 16%
Institutions
- 1Carnegie Mellon University🇺🇸6
- 2Centre National de la Recherche Scientifique🇫🇷4
- 3TU Wien🇦🇹4
- 4Karlsruhe Institute of Technology🇩🇪3
- 5University of Iowa🇺🇸3
- 6Amazon (United States)🇺🇸3
- 7Institut national de recherche en sciences et technologies du numérique🇫🇷3
- 8Stanford University🇺🇸3
- 9Universidade Federal de Minas Gerais🇧🇷2
- 10Bar-Ilan University🇮🇱2
- 11The University of Melbourne🇦🇺2
- 12Japan Advanced Institute of Science and Technology🇯🇵2
Countries
- Germany15
- United States12
- Austria8
- France6
- Italy4
- Belgium3
- United Kingdom3
- Israel3
- Australia2
- Brazil2
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 IJCAR
Closest by the phrases in their paper titles over the last five complete years.
- CADE The Conference on Automated Deduction0.34logicssuperpositionlogictheoremmodulo
- LICS IEEE Symposium on Logic in Computer Science0.23logicfirst-orderlogicscalculuscompleteness
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.14logichigher-ordercalculusprogramslogics
- KR International Conference on Principles of Knowledge Representation and Reasoning0.14logicslogicreasoningfirst-ordercalculi
- FSCD International Conference on Formal Structures for Computation and Deduction0.13calculustheoriesterminationlogichigher-order
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
2.8 in 2026
Papers by an entirely new team
Needs a few more years of history.
Most published at IJCAR
- Laura Kovács2024 to 20265
- Márton Hajdú2024 to 20265
- Jürgen Giesl2024 to 20265
- Clark W. Barrett2024 to 20264
- André Platzer2024 to 20264
- Petra Hozzová2024 to 20263
- Andrei Voronkov2024 to 20243
- Martin Suda2024 to 20243
- Cesare Tinelli2024 to 20263
- Geoff Sutcliffe2024 to 20263