posted by user: ndisp || 698 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
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
NSAD 2019   Numerical and Symbolic Abstract Domains
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
JPF 2019   Java Pathfinder Workshop 2019
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
HiPEAC 2020   15th International Conference on High Performance Embedded Architectures and Compilers
CAV 2020   Computer Aided Verification
MODELSWARD 2020   8th International Conference on Model-Driven Engineering and Software Development