posted by user: alex_ren || 3034 views || tracked by 8 users: [display]

AVOCS 2012 : International Workshop on Automated Verification of Critical Systems


When Sep 18, 2012 - Sep 20, 2012
Where Bamberg, Germany
Submission Deadline Jun 6, 2012
Notification Due Jul 16, 2012
Final Version Due Aug 3, 2012
Categories    formal methods

Call For Papers


Related Resources

ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
FM 2021   Formal Methods 2021
SAS 2020   Static Analysis Symposium, SAS 2020
CPP 2021   Certified Programs and Proofs
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems
SAC-SVT 2021   Software Verification and Testing Track at SAC 2021
VSC @IEEE WETICE 2020   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2020
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
ASE 2020   International Conference on Automated Software Engineering
IDEAL 2020   21st International Conference on Intelligent Data Engineering and Automated Learning