Home
Login
Register
Account
Logout
Categories
CFPs
Post a CFP
Conf Series
My List
Timeline
My Archive
On iPhone
On Android
2026
2027
2026+
all
posted by user:
jyotirmoy
|| 5914 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
SAS 2026
Animate Experience - The 37th Annual Conference of the Society for Animation Studies