会議情報

IJCAR 2026: International Joint Conference on Automated Reasoning

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
投稿締切日:
2026-02-06
通知日:
2026-04-14
開催日:
2026-07-26
開催地:
Lisbon, Portugal
開催回数:
15
ICORE: A   QUALIS: B1   閲覧: 64459   フォロー: 19   参加: 6
このページに誤りがありますか？お知らせください
締切カウントダウンバッジを埋め込む
IJCAR
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。

会伴インデックス (CP-I)

74.5 / 100
全 5,697 件中 第 272 位 · 上位 5%
学術的評価 (35%)
88
投稿の選択性 (20%)
63
開催回数 (20%)
87
コミュニティの注目度 (10%)
41
公開情報の充実度 (15%)
65

使用した入力: 収録ランク：ICORE A, QUALIS B1 · 採択率：42.9%（記録のある 5 回の平均） · 確認できる開催回数：24 · 会伴でフォローしている研究者：19 人 · 過去 24 か月にこのページを開いた研究者：4 人

公開情報で不足しているもの: 過去の開催回 (+3.0) · 最優秀論文の記録 (+2.3)
主催者は会議を認証申請したうえで、このページから直接追加できます。スコアは毎晩再計算されます。このスコアを上げるには

信頼度 100% — スコアのうち、中立の基準値ではなく実際に観測されたデータに基づく割合。 このスコアの算出方法 · ランキングを見る · アルゴリズム版 1.1 · 算出日 2026-10-12

論文募集

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.
最終更新：Dou Sun（）

採択率

平均採択率: 41.7% 12 年間 (2001–2024).

年投稿数採択数採択率(%)
20241154539.1%
2022854148.2%
20201967940.3%
20181084642.6%
2016793544.3%
2014833744.6%
20121154236.5%
2010894044.9%
2008983939.8%
20061514932.5%
2004863237.2%
20011125650%

関連会議

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
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

コメント 0

まだコメントはありません。

コメントするにはログインしてください