IJCAR 2026
International Joint Conference on Automated Reasoning
Theory
Cycle closed, awaiting the next call
All deadlines
AbstractFeb 6, 2026est.
Paper submissionFeb 15, 2026est.
From past proceedings
Papers in IJCAR's main DBLP volume each year, not official acceptance counts.
Papers in 2024
48
main DBLP volume
5-year change
n/a
needs five years
Papers, all years
97
2 years since 2024
Authors per paper
3.0
in 2024
Papers per year2024 to 2024
Top keywords, 2024
logicshortautomatedmodalfirst-orderintuitionisticmoduloprogramsautomated reasoningcalculicalculuscompleteness
Venues like IJCAR
- CADE The Conference on Automated Deduction0.34logicssuperpositionlogictheorem
- LICS IEEE Symposium on Logic in Computer Science0.23logicfirst-orderlogicscalculus
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.14logichigher-ordercalculusprograms
- KR International Conference on Principles of Knowledge Representation and Reasoning0.14logicslogicreasoningfirst-order
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
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
Countries
- Germany15
- United States12
- Austria8
- France6
- Italy4
- Belgium3
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.