posted by user: uhiro || 5005 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 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VSC @IEEE WETICE 2021   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021
ICSNC 2021   The Sixteenth International Conference on Systems and Networks Communications
ICDM 2021   21st IEEE International Conference on Data Mining
ICMLA 2021   20th IEEE International Conference on Machine Learning and Applications
ICONIP 2021   The 28th International Conference on Neural Information Processing (ICONIP2021)
MobiSPC 2021   The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium
MVA 2021   17th International Conference on Machine Vision Applications
MDPI-SI-BDHA 2021   Call for Papers: Special Issue “Big Data for eHealth Applications” (MDPI Applied Sciences, IF 2.474 – Indexed on Scopus, Web of Science)
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex