| Event | When | Where | Deadline | |
| ECCWS 2015 |
14th European Conference on Cyber Warfare and Security | |
| Jul 2, 2015 - Jul 3, 2015 |
Hatfield |
TBD |
| HASE 2014 |
15th IEEE International Symposium on High Assurance Systems Engineering | |
| Jan 9, 2014 - Jan 11, 2014 |
Miami, Florida, USA |
Aug 14, 2013 |
| ASME IDETC/CIE 2014 |
ASME 2014 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC/CIE 2014) | |
| Aug 17, 2014 - Aug 20, 2014 |
Buffalo, NY |
Jan 27, 2014 (Jan 13, 2014) |
| SAFECOMP 2014 |
The 33rd International Conference on Computer Safety, Reliability and Security | |
| Sep 10, 2014 - Sep 12, 2014 |
Florence, Italy |
Feb 28, 2014 (Feb 25, 2014) |
| SEFM 2014 |
12th International Conference on Software Engineering and Formal Methods | |
| Sep 1, 2014 - Sep 5, 2014 |
Grenoble, France |
Mar 21, 2014 (Mar 14, 2014) |
| ICTAC 2014 |
11th International Colloquium on Theoretical Aspects of Computing | |
| Sep 17, 2014 - Sep 20, 2014 |
Bucharest, Romania |
Mar 23, 2014 (Mar 16, 2014) |
| ATVA 2014 |
International Symposium on Automated Technology for Verification and Analysis | |
| Nov 3, 2014 - Nov 7, 2014 |
Sydney |
Apr 15, 2014 |
| FORMATS 2014 |
International Conference on Formal Modeling and Analysis of Timed Systems | |
| Sep 8, 2014 - Sep 10, 2014 |
Florence, Italy |
Apr 21, 2014 (Apr 14, 2014) |
| ICSEA 2014 |
The Ninth International Conference on Software Engineering Advances | |
| Oct 12, 2014 - Oct 16, 2014 |
Nice, France |
May 30, 2014 |
| GandALF 2014 |
5th International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 10, 2014 - Sep 12, 2014 |
Verona |
Jun 1, 2014 (May 27, 2014) |
| CIKM 2014 |
ACM International Conference on Information and Knowledge Management (CIKM 2014) | |
| Nov 3, 2014 - Nov 7, 2014 |
Shanghai, China |
Jun 11, 2014 (Jun 4, 2014) |
| PoEM 2014 |
The Practice of Enterprise Modeling | |
| Nov 12, 2014 - Nov 13, 2014 |
Manchester, UK |
Jul 14, 2014 |
| NISK 2014 |
Norwegian Information Security Conference | |
| Nov 17, 2014 - Nov 19, 2014 |
Fredrikstad, Norway |
Jul 31, 2014 |
| ATIS 2014 |
International Conference on Applications and Techniques in Information Security (ATIS2014) | |
| Nov 26, 2014 - Nov 28, 2014 |
Melbourne, Australia |
Aug 24, 2014 |
| IEEE CEC 2015 |
2015 IEEE Congress on Evolutionairy Computation | |
| May 25, 2015 - May 28, 2015 |
Sendai, Japan |
Dec 19, 2014 |
| ASME IDETC/CIE-MR 2015 |
The 39th Mechanisms and Robotics Conference (MR) at the ASME 2015 International Design Engineering Technical Conferences | |
| Aug 2, 2015 - Aug 5, 2015 |
Boston, MA, USA |
Jan 26, 2015 (Jan 12, 2015) |
| SEFM 2015 |
International Conference on Software Engineering and Formal Methods SEFM 2015 | |
| Sep 7, 2015 - Sep 11, 2015 |
York, UK |
Mar 20, 2015 (Mar 13, 2015) |
| CIKM 2015 |
Conference on Information and Knowledge Management | |
| Oct 19, 2015 - Oct 23, 2015 |
Melbourne, Australia |
May 8, 2015 (May 1, 2015) |
|
