posted by user: jyotirmoy || 981 views || tracked by 3 users: [display]

AVoCS 2009 : Ninth International Workshop on Automated Verification of Critical Systems

FacebookTwitterLinkedInGoogle

Link: http://www.cs.swan.ac.uk/avocs09/
 
When Sep 23, 2009 - Sep 25, 2009
Where Swansea, UK
Submission Deadline Jun 26, 2009
Notification Due Jul 24, 2009
 

Call For Papers

[Empty]

Related Resources

ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
CAV 2024   36th International Conference on Computer Aided Verification
ACM BSCI 2024   The 6th ACM International Symposium on Blockchain and Secure Critical Infrastructure
IDEAL 2024   Intelligent Data Engineering and Automated Learning
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems