Conference Information
VMCAI 2022: International Conference on Verification, Model Checking, and Abstract Interpretation
https://popl22.sigplan.org/home/VMCAI-2022Submission Date: |
2021-09-09 Extended |
Notification Date: |
2021-10-07 |
Conference Date: |
2022-01-16 |
Location: |
Philadelphia, Pennsylvania, USA |
Years: |
23 |
CCF: b CORE: b QUALIS: a2 Viewed: 22078 Tracked: 30 Attend: 1
Call For Papers
VMCAI 2022 is the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held during January 16-18, 2022. 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 of VMCAI 2022 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 2021-09-04
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
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
b | b | a2 | SCA | ACM SIGGRAPH/Eurographics Symposium on Computer Animation | 2022-05-24 | 2022-06-28 | 2022-09-13 |
b | b | a2 | i3D | ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games | 2021-12-22 | 2022-02-23 | 2022-05-03 |
BSN | IEEE Conference on Body Sensor Networks | 2017-11-06 | 2017-12-10 | 2018-03-04 | |||
WBC | International Conference Web Based Communities and Social Media | 2022-05-20 | 2022-06-17 | 2022-07-19 | |||
IMMM | International Conference on Advances in Information Mining and Management | 2022-03-22 | 2022-04-19 | 2022-06-26 | |||
ICEICE | International Conference on Electric Information and Control Engineering | 2011-11-15 | 2011-12-16 | 2012-04-06 | |||
c | a | b1 | RTA | International Conference on Rewriting Techniques and Applications | 2015-01-30 | 2015-04-08 | 2015-06-29 |
a | ITCS'' | Innovations in Theoretical Computer Science | 2017-09-08 | 2017-10-30 | 2018-01-11 | ||
CiViE | International Conference on Civil Engineering | 2022-02-05 | 2022-02-15 | 2022-02-19 | |||
ACAE | Asia Conference on Automation Engineering | 2020-05-05 | 2020-05-30 | 2020-09-18 |
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 |
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 |
ITCS'' | Innovations in Theoretical Computer Science | 2017-09-08 | 2018-01-11 |
CiViE | International Conference on Civil Engineering | 2022-02-05 | 2022-02-19 |
ACAE | Asia Conference on Automation Engineering | 2020-05-05 | 2020-09-18 |
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