Conference Information
SSV 2012: International Workshop on Systems Software Verification
Please Login to view website of conference
Free account: view official websites, track deadlines, and get email reminders.
Viewed: 29031 Tracked: 0 Attend: 0
Embed deadline badge
Get this via API
Search and ranking lists need no credentials at all; full detail for this page needs a free API key. See the developer guide.
Get notified when the next edition opens
This edition is over. Create a free account and we will email you as soon as the next call for papers is published.
Notify me about new calls for papers Already have an account? Login
Free account. At most one email a day, and every email has a one-click unsubscribe link.
Call For Papers
SSV 2012 (International Workshop on Systems Software Verification) is an academic conference held in Sydney, Australia on 2012-11-28. Acceptance notifications are sent on 2012-10-19.
Related Conferences
| CCF | ICORE | CP-I | Short | Full Name | Submission | Conference |
|---|---|---|---|---|---|---|
| A | A* | 95.6 | SIGIR | International Conference on Research and Development in Information Retrieval | 2027-01-14 | 2027-07-18 |
| A | A* | 97.8 | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2027-02-16 |
| A | A* | 94.6 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2026-11-10 | 2027-06-20 |
| B | A* | 89.7 | ICRA | International Conference on Robotics and Automation | 2026-09-15 | 2027-05-24 |
| B | A* | 97.4 | IJCAI | International Joint Conference on Artificial Intelligence | 2027-01-04 | 2027-08-07 |
| A | A* | 92.8 | STOC | ACM Symposium on Theory of Computing | 2026-11-02 | 2027-06-06 |
| C | 87.5 | ICC | International Conference on Communications | 2026-10-02 | 2027-05-30 | |
| C | B | 62.8 | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-06-14 |
| B | 91.2 | ICASSP | International Conference on Acoustics, Speech and Signal Processing | 2026-09-16 | 2027-05-16 | |
| B | A* | 79.8 | PODS | ACM SIGMOD Conference on Principles of DB Systems | 2026-12-03 | 2027-06-13 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| A | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| B | Software & Systems Modeling | 3.2 | Springer | 1619-1366 |
| A | IEEE Transactions on Computers | 3.8 | IEEE | 0018-9340 |
| C | Future Generation Computer Systems | 5.9 | Elsevier | 0167-739X |
| C | Neurocomputing | 6.5 | Elsevier | 0925-2312 |
| C | Pattern Recognition Letters | 3.9 | Elsevier | 0167-8655 |
| B | Pattern Recognition | 7.6 | Elsevier | 0031-3203 |
| IEEE Access | 3.6 | IEEE | 2169-3536 | |
| A | IEEE Transactions on Dependable and Secure Computing | 7.5 | IEEE | 1545-5971 |
Comments 0
Please Login to post a comment
No comments yet.