Conference Information
VMCAI 2024: International Conference on Verification, Model Checking, and Abstract Interpretation
https://popl24.sigplan.org/home/VMCAI-2024Submission Date: |
2023-09-07 Extended |
Notification Date: |
2023-10-11 |
Conference Date: |
2024-01-17 |
Location: |
London, UK |
Years: |
25 |
CCF: b CORE: b QUALIS: a2 Viewed: 25638 Tracked: 31 Attend: 7
Call For Papers
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.
Last updated by Dou Sun in 2023-08-31
Acceptance Ratio
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
2005 | 92 | 27 | 29.3% |
2004 | 68 | 22 | 32.4% |
2003 | 43 | 20 | 46.5% |
2002 | 41 | 22 | 53.7% |
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
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 | 2023-12-14 | 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 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | 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 |
Full Name | Impact Factor | Publisher |
---|---|---|
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 |
Recommendation