会议信息
VMCAI 2024: International Conference on Verification, Model Checking, and Abstract Interpretation
https://popl24.sigplan.org/home/VMCAI-2024截稿日期: |
2023-09-07 Extended |
通知日期: |
2023-10-11 |
会议日期: |
2024-01-17 |
会议地点: |
London, UK |
届数: |
25 |
CCF: b CORE: b QUALIS: a2 浏览: 27499 关注: 32 参加: 7
征稿
VMCAI 2024 is the 25th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held during January 15-16, 2024. 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 在 2023-08-31
录取率
时间 | 提交数 | 录取数 | 录取率(%) |
---|---|---|---|
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 | 2022-05-24 | 2022-09-13 |
i3D | ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games | 2021-12-22 | 2022-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 | 2023-09-10 | 2023-09-22 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
Simulation Modelling Practice and Theory | 3.272 | Elsevier | 1569-190X | |
c | Journal of Visual Communication and Image Representation | 2.678 | Elsevier | 1047-3203 |
Computer Applications in Engineering Education | 1.435 | Wiley-Blackwell | 1061-3773 | |
Journal of Information Technology in Construction | Herman | 1400-6529 | ||
Journal of Mathematical Modelling and Algorithms in Operations Research | Springer | 2214-2487 | ||
Combinatorial Chemistry & High Throughput Screening | Bentham | 1386-2073 | ||
ISA Transactions | 5.468 | Elsevier | 0019-0578 | |
Numerical Functional Analysis and Optimization | 0.822 | Taylor & Francis | 0163-0563 | |
International Journal of Information Technology, Modeling and Computing | AIRCC | 2320-8449 | ||
Flow Measurement and Instrumentation | 2.037 | Elsevier | 0955-5986 |
全称 | 影响因子 | 出版商 |
---|---|---|
Simulation Modelling Practice and Theory | 3.272 | Elsevier |
Journal of Visual Communication and Image Representation | 2.678 | Elsevier |
Computer Applications in Engineering Education | 1.435 | Wiley-Blackwell |
Journal of Information Technology in Construction | Herman | |
Journal of Mathematical Modelling and Algorithms in Operations Research | Springer | |
Combinatorial Chemistry & High Throughput Screening | Bentham | |
ISA Transactions | 5.468 | Elsevier |
Numerical Functional Analysis and Optimization | 0.822 | Taylor & Francis |
International Journal of Information Technology, Modeling and Computing | AIRCC | |
Flow Measurement and Instrumentation | 2.037 | Elsevier |
推荐