posted by user: jyotirmoy || 4937 views || tracked by 9 users: [display]

SAS 2010 : 17th International Static Analysis Symposium

FacebookTwitterLinkedInGoogle


Conference Series : Static Analysis Symposium
 
Link: http://sas2010.univ-perp.fr/
 
When Sep 14, 2010 - Sep 16, 2010
Where Perpignan, France
Abstract Registration Due Mar 12, 2010
Submission Deadline Mar 19, 2010
Notification Due May 4, 2010
Final Version Due Jun 11, 2010
Categories    static analysis   formal verification   model checking
 

Call For Papers

http://sas2010.univ-perp.fr/SAS2010_fichiers/cfp-sas2010.pdf

Related Resources

IDA 2025   Intelligent Data Analysis
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
AASDS 2024   Special Issue on Applications and Analysis of Statistics and Data Science
SPIN 2025   31st International Symposium on Model Checking Software
ICPAMI 2025   2025 2nd International Conference on Pattern Analysis and Machine Intelligence
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
DATA ANALYTICS 2025   The Fourteenth International Conference on Data Analytics
GbR 2025   14th IAPR-TC15 Workshop on Graph-based Representations in Pattern Recognition
IEEE DSIT 2024   2024 IEEE 7th International Conference on Data Science and Information Technology (DSIT 2024)
IACSS 2025   15th International Symposium on Computer Science in Sport (IACSS 2025)