会議情報
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   閲覧: 31267   追跡: 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
合格率
時間提出受け入れ受け入れ(%)
2005922729.3%
2004682232.4%
2003432046.5%
2002412253.7%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
bba2SCAACM SIGGRAPH/Eurographics Symposium on Computer Animation2024-04-222024-06-162024-08-21
bba2i3DACM SIGGRAPH Symposium on Interactive 3D Graphics and Games2025-01-102025-02-142025-05-03
BSNIEEE Conference on Body Sensor Networks2017-11-062017-12-102018-03-04
CEACInternational Civil Engineering and Architecture Conference2024-01-152024-01-302024-03-15
WBCInternational Conference Web Based Communities and Social Media2022-05-202022-06-172022-07-19
IMMMInternational Conference on Advances in Information Mining and Management2022-03-222022-04-192022-06-26
ICEICEInternational Conference on Electric Information and Control Engineering2011-11-152011-12-162012-04-06
cab1RTAInternational Conference on Rewriting Techniques and Applications2015-01-302015-04-082015-06-29
BMSAIInternational Conference on Biometrics, Microelectronic Sensors and Artificial Intelligence2022-03-20 2022-03-25
SPCVAAsia Conference on Signal Processing, Computer Vision and Applications2024-08-202024-08-302024-09-20
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
cProceedings of the ACM on Human-Computer InteractionACM2573-0142
SIMULATION1.300SAGE0037-5497
bPattern Recognition7.500Elsevier0031-3203
Symmetry2.200MDPI2073-8994
Computers, Materials & Continua2.000Tech Science Press1546-2218
BioprintingElsevier2405-8866
Computer Applications in Engineering Education2.000Wiley-Blackwell1061-3773
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits2.000IEEE2329-9231
cDiscrete & Computational Geometry0.600Springer0179-5376
cInternational Journal of Information and Computer SecurityInderscience1744-1765
おすすめ