会议信息
VMCAI 2025: International Conference on Verification, Model Checking, and Abstract Interpretation
https://conf.researchr.org/home/VMCAI-2025截稿日期: |
2024-10-01 Extended |
通知日期: |
2024-11-08 |
会议日期: |
2025-01-20 |
会议地点: |
Denver, Colorado, USA |
届数: |
26 |
CCF: b CORE: b QUALIS: a2 浏览: 31265 关注: 33 参加: 8
征稿
VMCAI 2025 is the 26th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held during January 20-21, 2025. VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Scope The program will consist of refereed research papers as well as invited lectures and tutorials. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: Program Verification Model Checking Abstract Interpretation Abstract Domains Program Synthesis Static Analysis Type Systems Deductive Methods Program Logics First-Order Theories Decision Procedures Interpolation Horn Clause Solving Program Certification Separation Logic Probabilistic Programming and Analysis Error Diagnosis Detection of Bugs and Security Vulnerabilities Program Transformations Hybrid and Cyber-physical Systems Concurrent and distributed Systems Analysis of numerical properties Analysis of smart contracts Analysis of neural networks Case Studies on all of the above topics Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.
最后更新 Dou Sun 在 2024-10-02
录取率
时间 | 提交数 | 录取数 | 录取率(%) |
---|---|---|---|
2005 | 92 | 27 | 29.3% |
2004 | 68 | 22 | 32.4% |
2003 | 43 | 20 | 46.5% |
2002 | 41 | 22 | 53.7% |
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
SCA | ACM SIGGRAPH/Eurographics Symposium on Computer Animation | 2024-04-22 | 2024-08-21 |
i3D | ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games | 2025-01-10 | 2025-05-03 |
BSN | IEEE Conference on Body Sensor Networks | 2017-11-06 | 2018-03-04 |
CEAC | International Civil Engineering and Architecture Conference | 2024-01-15 | 2024-03-15 |
WBC | International Conference Web Based Communities and Social Media | 2022-05-20 | 2022-07-19 |
IMMM | International Conference on Advances in Information Mining and Management | 2022-03-22 | 2022-06-26 |
ICEICE | International Conference on Electric Information and Control Engineering | 2011-11-15 | 2012-04-06 |
RTA | International Conference on Rewriting Techniques and Applications | 2015-01-30 | 2015-06-29 |
BMSAI | International Conference on Biometrics, Microelectronic Sensors and Artificial Intelligence | 2022-03-20 | 2022-03-25 |
SPCVA | Asia Conference on Signal Processing, Computer Vision and Applications | 2024-08-20 | 2024-09-20 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
c | Proceedings of the ACM on Human-Computer Interaction | ACM | 2573-0142 | |
SIMULATION | 1.300 | SAGE | 0037-5497 | |
b | Pattern Recognition | 7.500 | Elsevier | 0031-3203 |
Symmetry | 2.200 | MDPI | 2073-8994 | |
Computers, Materials & Continua | 2.000 | Tech Science Press | 1546-2218 | |
Bioprinting | Elsevier | 2405-8866 | ||
Computer Applications in Engineering Education | 2.000 | Wiley-Blackwell | 1061-3773 | |
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits | 2.000 | IEEE | 2329-9231 | |
c | Discrete & Computational Geometry | 0.600 | Springer | 0179-5376 |
c | International Journal of Information and Computer Security | Inderscience | 1744-1765 |
全称 | 影响因子 | 出版商 |
---|---|---|
Proceedings of the ACM on Human-Computer Interaction | ACM | |
SIMULATION | 1.300 | SAGE |
Pattern Recognition | 7.500 | Elsevier |
Symmetry | 2.200 | MDPI |
Computers, Materials & Continua | 2.000 | Tech Science Press |
Bioprinting | Elsevier | |
Computer Applications in Engineering Education | 2.000 | Wiley-Blackwell |
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits | 2.000 | IEEE |
Discrete & Computational Geometry | 0.600 | Springer |
International Journal of Information and Computer Security | Inderscience |
推荐