会议信息
VMCAI 2026: International Conference on Verification, Model Checking, and Abstract Interpretation
请登录查看会议网址
截稿日期:
2025-09-10
通知日期:
2025-11-06
会议日期:
2026-01-11
会议地点:
Rennes, France
届数:
27
CCF: b CORE: b QUALIS: a2 浏览: 48444 关注: 34 参加: 8
征稿
VMCAI 2026 (International Conference on Verification, Model Checking, and Abstract Interpretation) is a CCF B / CORE B / QUALIS A2 conference held in Rennes, France on 2026-01-11. The paper submission deadline is 2025-09-10. Acceptance notifications are sent on 2025-11-06.
最后更新 Dou Sun 在
录取率
Average acceptance rate: 40.5% over 4 years (2002–2005).
| 时间 | 提交数 | 录取数 | 录取率(%) |
|---|---|---|---|
| 2005 | 92 | 27 | 29.3% |
| 2004 | 68 | 22 | 32.4% |
| 2003 | 43 | 20 | 46.5% |
| 2002 | 41 | 22 | 53.7% |
相关会议
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| c | Engineering Applications of Artificial Intelligence | 8.0 | Elsevier | 0952-1976 |
| Ceramics International | 5.6 | Elsevier | 0272-8842 | |
| Journal of Chemical Information and Modeling | 5.3 | American Chemical Society | 1549-9596 | |
| Simulation Modelling Practice and Theory | 4.6 | Elsevier | 1569-190X | |
| b | User Modeling and User-Adapted Interaction | 3.5 | Springer | 0924-1868 |
| IEEE Electrification Magazine | 3.2 | IEEE | 2325-5897 | |
| c | Journal of Visual Communication and Image Representation | 3.1 | Elsevier | 1047-3203 |
| Flow Measurement and Instrumentation | 2.7 | Elsevier | 0955-5986 | |
| Computer Applications in Engineering Education | 2.2 | Wiley-Blackwell | 1061-3773 | |
| Journal of Organizational Computing and Electronic Commerce | 1.9 | Taylor & Francis | 1091-9392 |