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

ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
IbPRIA 2019   8th Iberian Conference on Pattern Recognition and Image Analysis
IEEE Mobile Cloud 2019   The Seventh IEEE International Conference on Mobile Cloud Computing, Services, and Engineering
RMCE 2019   2nd International Conference on Recent Trends in Big Data Management, Data Analysis, Computing and Engineering Applications
IEEE/ACM SC 2019   IEEE/ACM International Conference on High Performance Computing, Networking, Storage and Analysis
COMPUTER-CGAQT 2019   COMPUTERS - Special Issue on Code Generation, Analysis and Quality Testing
MSA 2019   38th Scientific Conference on Multivariate Statistical Analysis MSA 2019
IEEE/ACM SC 2019   IEEE/ACM International Conference on High Performance Computing, Networking, Storage and Analysis
VBS 2020   Video Browser Showdown
MIG 2019   Motion, Interaction and Games