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

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

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: https://popl18.sigplan.org/track/VMCAI-2018
 
When Jan 7, 2018 - Jan 9, 2018
Where Los Angeles, CA, USA
Submission Deadline Oct 8, 2017
 

Call For Papers

[Empty]

Related Resources

SAS 2020   Static Analysis Symposium, SAS 2020
WiL 2020   4th Women in Logic Workshop - WiL 2020
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
MODELSWARD 2021   9th International Conference on Model-Driven Engineering and Software Development
MODELS 2020   Model Driven Engineering Languages and Systems
ISSTA 2021   International Symposium on Software Testing and Analysis
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
IMBSA 2020   7th International Symposium on Model-Based Safety and Assessment
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)