18240 | VMCAI 2024 : 25st International Conference on Verification, Model Checking, and Abstract Interpretat
![]() ![]() |
||
---|---|---|---|
¸¶°¨ÀÏÀÚ | 2023/08/31 | ±¹³»/±¹¿Ü | ±¹¿Ü |
ȨÆäÀÌÁö | https://popl24.sigplan.org/home/VMCAI-2024 | Àå ¼Ò | London, United Kingdom |
VMCAI 2024 : 25st International Conference on Verification, Model Checking, and Abstract Interpretation January 15-16, 2024 London, United Kingdom Important Dates: - Submission deadline : August 31, 2023 - Notification : October 11, 2023 - Camera-ready : October 31,2023 |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.