# IJCAR — International Joint Conference on Automated Reasoning

- **Submission deadline**: 2026-02-06
- **Notification date**: 2026-04-14
- **Conference date**: 2026-07-26
- **Location**: Lisbon, Portugal
- **Rankings**: CORE A · QUALIS B1
- **Trackers**: 19
- **Attendees**: 6
- **Canonical page**: https://www.myhuiban.com/conference/423

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2024 | 115 | 45 | 39.1% |
| 2022 | 85 | 41 | 48.2% |
| 2020 | 196 | 79 | 40.3% |
| 2018 | 108 | 46 | 42.6% |
| 2016 | 79 | 35 | 44.3% |
| 2014 | 83 | 37 | 44.6% |
| 2012 | 115 | 42 | 36.5% |
| 2010 | 89 | 40 | 44.9% |
| 2008 | 98 | 39 | 39.8% |
| 2006 | 151 | 49 | 32.5% |

## Call for papers

IJCAR topics Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory. Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, machine learning and theorem proving, integration of automated provers/proof assistants in automated test generators, program synthesisers, verified compilers, intelligent systems, agent based systems, knowledge processing systems, formal methods tools and other symbolic tools, etc. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation and processing/engineering, education, formalization of mathematics, trusted AI, etc.

## Related conferences

- IJCLR — International Joint Conference on Learning & Reasoning — https://www.myhuiban.com/conference/3700
- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421

## Related journals

- Journal of Automated Reasoning — https://www.myhuiban.com/journal/192
- IEEE Transactions on Multimedia — https://www.myhuiban.com/journal/152
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Software & Systems Modeling — https://www.myhuiban.com/journal/99
- IEEE Transactions on Computers — https://www.myhuiban.com/journal/3

---
Source: Conference Partner — https://www.myhuiban.com/conference/423 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)