posted by user: klumppdo || 1259 views || tracked by 7 users: [display]

VMCAI 2022 : Verification, Model Checking and Abstract Interpretation

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: https://popl22.sigplan.org/home/VMCAI-2022#Call-for-Papers
 
When Jan 16, 2022 - Jan 18, 2022
Where Philadelphia, Pennsylvania, United State
Submission Deadline Sep 9, 2021
Notification Due Oct 11, 2021
Final Version Due Nov 15, 2021
 

Call For Papers

[Empty]

Related Resources

VMCAI 2023   International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
SPIN 2023   29th International Symposium on Model Checking of Software
NFM 2023   NASA Formal Methods Symposium
FSEN 2023   Fundamentals of Software Engineering
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
ICST 2023   16th IEEE International Conference on Software Testing, Verification and Validation
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies
MDE Intelligence 2022   The 4th Workshop on Artificial Intelligence and Model-driven Engineering