posted by user: uhiro || 3801 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

TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TOOLS 2019   Technology of Object-Oriented Languages and Systems
Petri Nets 2019   Applications and Theory of Petri Nets
IROS 2019   Intelligent RObots and Systems
CAIP 2019   Computer Analysis of Images and Patterns
ICTAI 2018   International Conference on Tools with Artificial Intelligence
CPAIOR 2019   Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ICDAR 2019   International Conference on Document Analysis and Recognition
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
DSA 2019   The Frontiers in Intelligent Data and Signal Analysis DSA 2019