posted by user: alex_ren || 3420 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 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
AI 2022   8th International Conference on Artificial Intelligence and Applications
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
FM 2023   Formal Methods
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ASYDE 2022   Automated and verifiable Software sYstem DEvelopment
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)