会議情報
ATVA 2026: International Symposium on Automated Technology for Verification and Analysis
締切カウントダウンバッジを埋め込む
このデータを API で取得
会伴インデックス (CP-I)
| 学術的評価 (35%) |
|
78 |
| 投稿の選択性 (20%) |
|
73 |
| 開催回数 (20%) |
|
87 |
| コミュニティの注目度 (10%) |
|
50 |
| 公開情報の充実度 (15%) |
|
85 |
使用した入力: 収録ランク：CCF C, ICORE B, QUALIS B1 · 採択率：34%（記録のある 4 回の平均） · 確認できる開催回数：24 · 会伴でフォローしている研究者：43 人 · 過去 24 か月にこのページを開いた研究者：5 人
公開情報で不足しているもの:
最優秀論文の記録 (+2.3)
主催者は会議を認証申請したうえで、このページから直接追加できます。スコアは毎晩再計算されます。このスコアを上げるには
信頼度 100% — スコアのうち、中立の基準値ではなく実際に観測されたデータに基づく割合。 このスコアの算出方法 · ランキングを見る · アルゴリズム版 1.1 · 算出日 2026-09-24
次回の論文募集が始まったらお知らせします
今回の開催は終了しました。無料アカウントを作成すると、次回の論文募集が公開され次第メールでお知らせします。
前回をもとにすると、次回の締切は 2027-05 頃と推定されます。
論文募集
ATVA 2026 (International Symposium on Automated Technology for Verification and Analysis) is a CCF C / ICORE B / QUALIS B1 conference held in Hong Kong, China on 2026-12-01. The paper submission deadline is 2026-05-19. Acceptance notifications are sent on 2026-07-23.
採択率
平均採択率: 34% 4 年間 (2004–2007).
| 年 | 投稿数 | 採択数 | 採択率(%) |
|---|---|---|---|
| 2007 | 88 | 36 | 40.9% |
| 2006 | 137 | 35 | 25.5% |
| 2005 | 95 | 33 | 34.7% |
| 2004 | 69 | 24 | 34.8% |
関連会議
| CCF | ICORE | CP-I | 略称 | 正式名称 | 投稿締切 | 開催日 |
|---|---|---|---|---|---|---|
| C | 87.4 | ICC | International Conference on Communications | 2026-10-02 | 2027-05-30 | |
| C | B | 62.7 | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-06-14 |
| C | B | 65.9 | TrustCom | International Conference on Trust, Security and Privacy in Computing and Communications | 2025-08-01 | 2025-11-14 |
| C | B | 79.9 | ICONIP | International Conference on Neural Information Processing | 2026-05-10 | 2026-11-23 |
| C | C | 80.8 | HPCC | International Conference on High Performance Computing and Communications | 2026-07-15 | 2026-10-29 |
| C | A | 87.8 | GECCO | Genetic and Evolutionary Computation Conference | 2027-07-12 | |
| C | B | 89.2 | Globecom | IEEE Global Communications Conference | 2026-04-01 | 2026-12-07 |
| C | B | 86.2 | ICPR | International Conference on Pattern Recognition | 2026-01-10 | 2026-08-17 |
| C | C | 64.8 | KSEM | International Conference on Knowledge Science, Engineering and Management | 2026-02-28 | 2026-07-17 |
| C | B | 84.8 | ICTAI | International Conference on Tools with Artificial Intelligence | 2026-06-30 | 2026-11-02 |
関連ジャーナル
| CCF | 正式名称 | インパクトファクター | 出版社 | ISSN |
|---|---|---|---|---|
| B | Journal of Automated Reasoning | 0.8 | Springer | 0168-7433 |
| Software Testing Verification and Reliability | 1.2 | Wiley | 0960-0833 | |
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| C | Future Generation Computer Systems | 5.9 | Elsevier | 0167-739X |
| C | Neurocomputing | 6.5 | Elsevier | 0925-2312 |
| C | Pattern Recognition Letters | 3.9 | Elsevier | 0167-8655 |
| C | IEEE Transactions on Industrial Informatics | 11.7 | IEEE | 1551-3203 |
| C | IEEE Internet of Things Journal | 8.9 | IEEE | 2327-4662 |
| C | Engineering Applications of Artificial Intelligence | 9.0 | Elsevier | 0952-1976 |
| C | Expert Systems with Applications | 7.5 | Elsevier | 0957-4174 |
まだコメントはありません。