Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: alex_ren || 4567 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

HCVS 2025   12th Workshop on Horn Clauses for Verification and Synthesis
IJSC 2025   International Journal on Soft Computing
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
VSTTE 2025   Verified Software: Theories, Tools, Experiments
ASE 2025   The IEEE/ACM Automated Software Engineering Conference
FMAS 2025   7th International Workshop on Formal Methods for Autonomous Systems
IEEE-DSIS 2025   2025 International Conference on Data Science and Intelligent Systems (DSIS 2025)
SBMF 2025   28th Brazilian Symposium on Formal Methods
IDEAL 2025   Intelligent Data Engineering and Automated Learning
IEEE ICCCAS 2026   2026 IEEE the 15th International Conference on Communications, Circuits, and Systems (ICCCAS 2026)
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.