| Event | When | Where | Deadline | |
| WoSoCer 2014 |
4th International IEEE Workshop on Software Certification Co-located with ISSRE | |
| Nov 3, 2014 - Nov 6, 2014 |
Naples, Italy |
Aug 15, 2014 |
| RISK 2014 |
2nd International Workshop on Risk Assessment and Risk-driven Testing | |
| Nov 3, 2014 - Nov 6, 2014 |
Naples/Italy |
Aug 15, 2014 |
| FMSAS 2014 |
Second International Workshop on Formal Methods for Self-Adaptive Systems | |
| Nov 24, 2014 - Nov 25, 2014 |
Ho Chi Minh City, Vietnam |
Aug 20, 2014 |
| ICISS 2014 |
2014 International Conference on Intelligent Science and Systems | |
| Nov 5, 2014 - Nov 7, 2014 |
Bahrain |
Aug 25, 2014 |
| 4PAD 2015 |
2nd special session on FORmal approaches to PArallel and Distributed systems | |
| Mar 4, 2014 - Mar 6, 2014 |
Turku, Finland |
Aug 25, 2014 |
| ICSE 2015 |
37th International Conference on Software Engineering | |
| May 16, 2015 - May 24, 2015 |
Firenze, Italy |
Sep 5, 2014 |
| FTSCS 2014 |
Third International Workshop on Formal Techniques for Safety-Critical Systems | |
| Nov 6, 2014 - Nov 7, 2014 |
Luxembourg |
Sep 6, 2014 |
| ACM SAC 2015 |
30th Annual ACM Symposium on Applied Computing / Software Verification and Testing Track | |
| Apr 13, 2015 - Apr 17, 2015 |
Salamanca, Spain |
Sep 12, 2014 |
| VMCAI 2015 |
16th International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 12, 2015 - Jan 14, 2015 |
Mumbai, India |
Sep 12, 2014 (Sep 5, 2014) |
| DATE 2015 |
Design, Automation, and Test in Europe | |
| Mar 9, 2015 - Mar 13, 2015 |
Grenoble, France |
Sep 14, 2014 |
| ESSoS 2015 |
International Symposium on Engineering Secure Software and Systems | |
| Mar 4, 2015 - Mar 6, 2015 |
Milan, Italy |
Sep 15, 2014 (Sep 8, 2014) |
| AISNSS 2014 |
special issue in journal : Innovations in Systems and Software Engineering - Springer | |
| Feb 26, 2015 - Feb 26, 2015 |
N.A. |
Sep 26, 2014 |
| SCCTMA 2014 |
Call for Papers: Special Issue on “Synchronization and Control of Chaos: Theory, Methods and Applications” in JESTR (ISSN: 1791-2377) | |
| Sep 30, 2014 - Dec 31, 2014 |
Greece |
Sep 30, 2014 |
| IEEE Software May/June 2015 |
Special Issue on Trends in Systems and Software Variability | |
| May 1, 2015 - Jun 30, 2015 |
IEEE Software magazine |
Oct 1, 2014 |
| IJSSC 2014 |
Special Issue on: Future Internet: Services and Data Management. International Journal of Space-Based and Situated Computing, Inderscience Publishers. | |
| N/A |
N/A |
Oct 15, 2014 |
| CSCEET 2014 |
The Second International Conference on Computer Science, Computer Engineering, and Education Technologies | |
| Nov 17, 2014 - Nov 19, 2014 |
Kuala Lumpur, Malaysia |
Oct 17, 2014 |
| ICST 2015 |
IEEE International Conference on Software Testing, Verification and Validation | |
| Apr 13, 2015 - Apr 17, 2015 |
Graz, Austria |
Oct 24, 2014 |
| NFM 2015 |
NASA Formal Methods Symposium 2015 | |
| Apr 27, 2015 - Apr 29, 2015 |
Pasadena, California, USA |
Nov 10, 2014 |
| SANER 2015 |
International Conference on Software Analysis, Evolution, and Reengineering | |
| Mar 2, 2015 - Mar 6, 2015 |
Montreal, Canada |
Nov 14, 2014 (Nov 7, 2014) |
| CAiSE 2015 |
Conference on Advanced Information Systems Engineering | |
| Jun 10, 2015 - Jun 12, 2015 |
Stockholm, Sweden |
Dec 1, 2014 |
|
