posted by user: ndisp || 497 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

VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
VECoS 2019   13th International Conference on Verification and Evaluation of Computer and Communication Systems
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
Petri Nets 2019   Applications and Theory of Petri Nets
CAV 2019   31st International Conference on Computer-Aided Verification
KALSIMIS 2019   Knowledge Acquisition and Learning in Semantic Interpretation of Medical Image Structures
MODELS 2019   ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems
ICST 2019   International Conference on Software Testing, Verification, and Validation