posted by user: ndisp || 357 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
APLAS 2018   16th Asian Symposium on Programming Languages and Systems
SPIN 2018   25th International Symposium on Model Checking of Software
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
Petri Nets 2019   Applications and Theory of Petri Nets
FORMATS 2018   16th International Conference on Formal Modeling and Analysis of Timed Systems
MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
DCM 2018   12th International Workshop on Developments in Computational Model
HiPEAC 2019   High Performance Embedded Architectures and Compilers