posted by user: ndisp || 799 views || tracked by 1 users: [display]

VMCAI 2018 : International Conference on Verification, Model Checking, and Abstract Interpretation


Conference Series : Verification, Model Checking and Abstract Interpretation
When Jan 7, 2018 - Jan 9, 2018
Where Los Angeles, CA, USA
Submission Deadline Oct 8, 2017

Call For Papers


Related Resources

SAS 2020   Static Analysis Symposium, SAS 2020
WiL 2020   WiL 2020: 4th Women in Logic Workshop
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
CAV 2020   Computer Aided Verification
MODELS 2020   Model Driven Engineering Languages and Systems
MODELSWARD 2020   8th International Conference on Model-Driven Engineering and Software Development
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
A-MOST 2020   Advances in Model-Based Software Testing
IMBSA 2020   7th International Symposium on Model-Based Safety and Assessment
LiVe 2020   4th Workshop on Learning in Verification