posted by user: alex_ren || 3160 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 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
FM 2021   Formal Methods 2021
ITTCS 2021   Information Technologies, Telecommunications and Control Systems
CALCO 2021   ¬†9th International Conference on ¬†Algebra and Coalgebra in Computer Science
VSC @IEEE WETICE 2021   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021
FMICS 2021   Formal Methods for Industrial Critical Systems
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
WiL 2021   5th Women in Logic Workshop
CRITIS 2021   The 16th International Conference on Critical Information Infrastructures Security
FMAS 2021   Third Workshop on Formal Methods for Autonomous Systems