Home
Login
Register
Account
Logout
Categories
CFPs
Post a CFP
Conf Series
My List
Timeline
My Archive
On iPhone
On Android
2025
2026
2025+
all
posted by user:
jyotirmoy
|| 5825 views || tracked by 9 users:
[
display
]
jyotirmoy
,
uhiro
,
arnabde03
,
kotodama
,
vates
,
susmitj
,
jac
,
mariachris
,
jubnzv
[
hide
]
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
SANER 2026
The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
SAS 2026
Animate Experience - The 37th Annual Conference of the Society for Animation Studies