Event | When | Where | Deadline | |
FSE 2014 |
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering | |
Nov 16, 2014 - Nov 22, 2014 |
Hong Kong, China |
Mar 16, 2014 |
SPIN 2014 |
21st International SPIN Symposium on Model Checking of Software | |
Jul 21, 2014 - Jul 23, 2014 |
San Jose, Bay Area, California |
Apr 11, 2014 |
SSS 2014 |
Symposium on tabilization, Safety, and Security of Distributed Systems | |
Sep 29, 2014 - Oct 1, 2014 |
Paderborn, Germany |
Apr 21, 2014 (Apr 16, 2014) |
ASE 2014 |
ACM/IEEE International Conference on Automated Software Engineering | |
Sep 15, 2014 - Sep 19, 2014 |
Vasteras, Sweden |
Apr 25, 2014 (Apr 18, 2014) |
WCCS 2014 |
The 2nd World Confererence on Complex Systems | |
Nov 10, 2014 - Nov 13, 2014 |
Agadir, Morocco |
May 15, 2014 |
ICSESS 2014 |
2014 5th IEEE International Conference on Software Engineering and Service Science (ICSESS 2014) | |
Jun 27, 2014 - Jun 29, 2014 |
Beijing,China |
May 16, 2014 |
SaFoMe 2014 |
1st International Workshop on Safety and Formal Methods | |
Sep 1, 2014 - Sep 1, 2014 |
Grenoble |
May 30, 2014 (May 23, 2014) |
AVOCS 2014 |
Automated Verification of Critical Systems | |
N/A |
N/A |
May 31, 2014 |
ACSAC 2014 |
Annual Computer Security Applications Conference | |
Dec 8, 2014 - Dec 12, 2014 |
New Orleans, Louisiana, USA |
Jun 1, 2014 |
QSIC 2014 |
14th International Conference on Quality Software | |
Oct 2, 2014 - Oct 3, 2014 |
Dallas, USA |
Jun 1, 2014 |
SAM 2014 |
8th System Analysis and Modelling Conference (SAM'14) | |
Sep 29, 2014 - Sep 30, 2014 |
Valencia, Spain |
Jun 2, 2014 (May 26, 2014) |
CRiSIS 2014 |
Conference on Risks and Security of Internet and Systems | |
Aug 27, 2014 - Aug 29, 2014 |
Trento, Italy |
Jun 2, 2014 |
ICIST 2014 |
20th International Conference on Information and Software Technologies | |
Oct 9, 2014 - Oct 10, 2014 |
Druskininkai, Lithuania |
Jun 2, 2014 |
Speical Issue-ISS@IJSI 2014 |
Special Issue on Information and System Security @ International Journal of Software and Informatics (IJSI) | |
N/A |
N/A |
Jun 10, 2014 |
CANS 2014 |
13rd International Conference on Cryptology and Network Security | |
Oct 22, 2014 - Oct 24, 2014 |
Heraklion Crete, Greece |
Jun 14, 2014 |
FACS 2014 |
11th International Symposium on Formal Aspects of Component Software | |
Sep 10, 2014 - Sep 12, 2014 |
Bertinoro, Italy |
Jun 16, 2014 (Jun 9, 2014) |
CASCON 2014 |
24th Annual International Conference on Computer Science and Software Engineering | |
Nov 3, 2014 - Nov 5, 2014 |
Markham, Ontario, Canada |
Jun 20, 2014 |
IWSSS 2014 |
2nd International Workshop on Systems Safety & Security | |
Oct 23, 2014 - Oct 25, 2014 |
Bucharest, Romania |
Jun 30, 2014 |
SBMF 2014 |
Brazilian Symposium on Formal Methods | |
Sep 29, 2014 - Oct 1, 2014 |
Maceio', AL, Brazil |
Jul 15, 2014 (Jul 8, 2014) |
ICCES 2014 |
IEEE International Conference on Computer Engineering and Systems | |
Dec 22, 2014 - Dec 24, 2014 |
Cairo, Egypt |
Jul 20, 2014 |
|