Conference Information

IJCAR 2026: International Joint Conference on Automated Reasoning

Please Login to view website of conference
Free account: view official websites, track deadlines, and get email reminders.
Embed deadline badge
IJCAR
Get this via API
Search and ranking lists need no credentials at all; full detail for this page needs a free API key. See the developer guide.
Submission Date:
2026-02-06
Notification Date:
2026-04-14
Conference Date:
2026-07-26
Location:
Lisbon, Portugal
Years:
15
ICORE: A   QUALIS: B1   Viewed: 63800   Tracked: 19   Attend: 6

Conference Partner Index (CP-I)

74.5 / 100
Ranked #265 of 5,645 conferences · Top 5%
Academic recognition (35%)
88
Submission selectivity (20%)
63
Editions held (20%)
87
Community attention (10%)
41
Public record completeness (15%)
65

Inputs used: Listed as ICORE A, QUALIS B1 · Acceptance rate: 42.9% (mean of 5 editions on file) · Editions on record: 24 · Researchers following it here: 19 · Researchers who opened this page in the past 24 months: 4

Missing from the public record: Past editions (+3.0) · Best-paper records (+2.3)
Organizers can add these from this page after claiming the conference; scores are recomputed nightly. How to raise this score

Confidence 100% - the share of the score backed by observed data rather than the neutral baseline. How this score is calculated · Browse the ranking · Algorithm version 1.1 · Computed 2026-08-31

Call For Papers

IJCAR 2026 (International Joint Conference on Automated Reasoning) is a ICORE A / QUALIS B1 conference held in Lisbon, Portugal on 2026-07-26. The paper submission deadline is 2026-02-06. Acceptance notifications are sent on 2026-04-14.

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.
Last updated by Dou Sun on

Acceptance Ratio

Average acceptance rate: 41.7% over 12 years (2001–2024).

YearSubmittedAcceptedAccepted(%)
20241154539.1%
2022854148.2%
20201967940.3%
20181084642.6%
2016793544.3%
2014833744.6%
20121154236.5%
2010894044.9%
2008983939.8%
20061514932.5%
2004863237.2%
20011125650%

Related Conferences

Related Journals

CCFFull NameImpact FactorPublisherISSN
BJournal of Automated Reasoning0.8Springer0168-7433
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

Comments 0

No comments yet.

Please Login to post a comment