会議情報
ISoLA 2026: International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation
締切カウントダウンバッジを埋め込む
このデータを API で取得
会伴インデックス (CP-I)
| 学術的評価 (35%) |
|
58 |
| 投稿の選択性 (20%) | データなし — 中立の基準値 50 点として算入 | — |
| 開催回数 (20%) |
|
82 |
| コミュニティの注目度 (10%) |
|
5 |
| 公開情報の充実度 (15%) |
|
35 |
使用した入力: 収録ランク：ICORE C · 確認できる開催回数：20 · 過去 24 か月にこのページを開いた研究者：1 人
公開情報で不足しているもの:
過去の採択率 (+4.5) · 過去の開催回 (+3.0) · 最優秀論文の記録 (+2.3)
主催者は会議を認証申請したうえで、このページから直接追加できます。スコアは毎晩再計算されます。このスコアを上げるには
信頼度 80% — スコアのうち、中立の基準値ではなく実際に観測されたデータに基づく割合。 このスコアの算出方法 · ランキングを見る · アルゴリズム版 1.1 · 算出日 2026-09-30
次回の論文募集が始まったらお知らせします
今回の開催は終了しました。無料アカウントを作成すると、次回の論文募集が公開され次第メールでお知らせします。
前回をもとにすると、次回の締切は 2027-03 頃と推定されます。
論文募集
ISoLA 2026 (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation) is a ICORE C conference held in Kos, Greece on 2026-10-24. The paper submission deadline is 2026-03-31. Acceptance notifications are sent on 2026-06-15.
関連会議
| CCF | ICORE | CP-I | 略称 | 正式名称 | 投稿締切 | 開催日 |
|---|---|---|---|---|---|---|
| C | A | 81.0 | ICST | International Conference on Software Testing, Verification and Validation | 2026-11-02 | 2027-05-17 |
| A | A* | 92.5 | SIGIR | International Conference on Research and Development in Information Retrieval | 2026-01-15 | 2026-07-20 |
| A | A* | 97.7 | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2027-02-16 |
| A | A* | 94.3 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2026-11-10 | 2027-06-20 |
| B | A* | 89.7 | ICRA | International Conference on Robotics and Automation | 2026-09-15 | 2027-05-24 |
| B | A* | 94.1 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 |
| A | A* | 92.5 | STOC | ACM Symposium on Theory of Computing | 2026-11-02 | 2027-06-06 |
| 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 |
| B | 91.2 | ICASSP | International Conference on Acoustics, Speech and Signal Processing | 2026-09-16 | 2027-05-16 |
関連ジャーナル
| CCF | 正式名称 | インパクトファクター | 出版社 | ISSN |
|---|---|---|---|---|
| A | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| B | Software & Systems Modeling | 3.2 | Springer | 1619-1366 |
| A | IEEE Transactions on Computers | 3.8 | IEEE | 0018-9340 |
| 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 |
| B | Pattern Recognition | 7.6 | Elsevier | 0031-3203 |
| IEEE Access | 3.6 | IEEE | 2169-3536 | |
| A | IEEE Transactions on Dependable and Secure Computing | 7.5 | IEEE | 1545-5971 |
まだコメントはありません。