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

VSTTE 2021   VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
MoDeVVa 2021   18th Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVA)
CAV 2021   33rd International Conference on Computer-Aided Verification
ISSTA 2021   International Symposium on Software Testing and Analysis
MODELSWARD 2022   10th International Conference on Model-Driven Engineering and Software Development
IEEE-IIB 2021   IEEE Intelligent Informatics Bulletin: Call for Ph.D. Thesis Abstracts
COLA Journal (Elsevier) 2021   CFP: Special issue on “Methods, Tools and Languages for Model-driven Engineering and Low-code Development”
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
A-MOST 2021   Advances in Model-Based Software Testing