posted by user: uhiro || 5433 views || tracked by 12 users: [display]

TACAS 2010 : Sixteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS

FacebookTwitterLinkedInGoogle


Conference Series : Tools and Algorithms for Construction and Analysis of Systems
 
Link: http://tacas10.in.tum.de/
 
When Mar 20, 2010 - Mar 28, 2010
Where Paphos, Cyprus
Abstract Registration Due Oct 1, 2009
Submission Deadline Oct 8, 2009
Notification Due Dec 11, 2009
Final Version Due Jan 4, 2010
Categories    static analysis   formal verification   model checking
 

Call For Papers

[Empty]

Related Resources

TACAS 2022   28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
NETYS 2022   NETYS 2022 : THE 10th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS
XAI 2022   JISYS (OA) - Explainable Artificial Intelligence and Intelligent Systems in Analysis For Complex Problems and Systems
ICPR 2022   26th International Conference on Pattern Recognition
ACM-EI/Scopus-ITCC 2022   2022 2nd International Conference on Information Technology and Cloud Computing (ITCC 2022)
DAS 2022   DAS 2022: 15th IAPR International Workshop on Document Analysis Systems
ISSTA 2022   International Symposium on Software Testing and Analysis
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
HEART 2022   2022 : 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies
EI-ISoIRS 2022   2022 3rd International Symposium on Intelligent Robotics and Systems (ISoIRS 2022)