posted by user: uhiro || 5067 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
GandALF 2021   International Symposium on Games, Automata, Logics, and Formal Verification
ITTCS 2021   Information Technologies, Telecommunications and Control Systems
HPC Asia 2022   International Conference on High Performance Computing in Asia‐Pacific Region
ICMLA 2021   20th IEEE International Conference on Machine Learning and Applications
ICONIP 2021   The 28th International Conference on Neural Information Processing (ICONIP2021)
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)
ESA 2021   European Symposium on Algorithms
OL2A 2021   International Conference on Optimization, Learning Algorithms and Applications 2021
AICCC--EI, Scopus 2021   2021 4th Artificial Intelligence and Cloud Computing Conference (AICCC 2021)--EI Compendex, Scopus