Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: uhiro || 9061 views || tracked by 11 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

SI: AI for Control Systems 2027   Special Issue on Applied Artificial Intelligence for Control Systems (Electronics, MDPI)
IMBSA 2027   10th International Symposium on Model-Based Safety Assessment
AIES--EI 2026   2026 International Conference on Artificial Intelligence and Education Systems (AIES 2026)
ICRAE--EI 2026   2026 11th International Conference on Robotics and Automation Engineering (ICRAE 2026)
ICRAI 2026   2026 12th International Conference on Robotics and Artificial Intelligence (ICRAI 2026)
NLPIR 2026   Springer--2026 10th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2026)
Governing GP AI Systems 2026   CfP: CLSR Special Issue on Governing General-Purpose AI Systems
AIES 2026   2026 International Conference on Artificial Intelligence and Education Systems (AIES 2026)
ICMRA 2026   2026 8th International Conference on Mechatronics, Robotics and Automation (ICMRA 2026)
MODERN SYSTEMS 2026   International Conference of Modern Systems Engineering Solutions
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.