posted by user: jyotirmoy || 3078 views || tracked by 8 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

SAS 2018   25th Static Analysis Symposium
Petri Nets 2019   Applications and Theory of Petri Nets
CAIP 2019   Computer Analysis of Images and Patterns
SAS 2018   25th Static Analysis Symposium
ICDAR 2019   International Conference on Document Analysis and Recognition
DSA 2019   The Frontiers in Intelligent Data and Signal Analysis DSA 2019
ISSTA 2019   International Symposium on Software Testing and Analysis
DSTAA 2019   Taylor and Francis - DSTAA 2019 : Call for Book Chapters - Data Science: Theory, Analysis, and Applications
ACM--ICCDA--Ei Compendex, Scopus 2019   ACM--2019 3rd International Conference on Compute and Data Analysis (ICCDA 2019)--Ei Compendex, Scopus
IPRIA 2019   International conference on Pattern Recognition and Image Analysis