SAS 2010 : 17th International Static Analysis Symposium

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

SAS 2010 : 17th International Static Analysis Symposium

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

ICIPAI&6th Sino-French workshop 2026 2026 3rd International Conference on Image Processing and Artificial Intelligence(ICIPAI2026) & 6th Sino-French workshop on Medical Image Analysis and Artificial Intelligence (MAI)

AREA 2026 Agents and Robots for reliable Engineered Autonomy

SAS 2026 Animate Experience - The 37th Annual Conference of the Society for Animation Studies