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

AVOCS 2012 : International Workshop on Automated Verification of Critical Systems

FacebookTwitterLinkedInGoogle

Link: http://www.swt-bamberg.de/AVoCS2012/index.php
 
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

[Empty]

Related Resources

ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
AVC 2024   Advances in Vision Computing: An International Journal
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
FM 2024   Formal Methods
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
NLPA 2024   5th International Conference on Natural Language Processing and Applications
CAV 2024   36th International Conference on Computer Aided Verification
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems