posted by user: jyotirmoy || 4514 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

DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
ADMA 2024   20th International Conference Advanced Data Mining and Applications
LearnAut 2024   Learning and Automata
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
DS 2024   Discovery Science 2024
SI DENA 2024   SPECIAL ISSUE on Differential Equations and Numerical Analysis
SC 2024   The International Conference for High Performance Computing, Networking, Storage, and Analysis