| Event | When | Where | Deadline | |
| ABZ 2020 |
ABZ 2020 – 7th International Conference on Rigorous State Based Methods | |
| May 27, 2020 - May 29, 2020 |
Ulm, Germany |
Jan 20, 2020 (Jan 13, 2020) |
| FormaliSE 2020 |
8th International Conference on Formal Methods in Software Engineering | |
| May 25, 2020 - May 26, 2020 |
Seoul, South Korea |
Jan 23, 2020 (Jan 16, 2020) |
| CAV 2020 |
Computer Aided Verification | |
| Jun 21, 2020 - Jun 24, 2020 |
Los Angeles, USA |
Jan 23, 2020 |
| IEEE CoDIT - EMTTCS 2020 |
Emergent Methods, Techniques and Tools for Cyber-Security - CoDIT'20 | |
| Jun 29, 2020 - Jul 2, 2020 |
Prague, Czech Republic |
Jan 24, 2020 |
| ISSQ 2020 |
11th International Symposium on Software Quality | |
| Jul 1, 2020 - Jul 4, 2020 |
Cagliari |
Feb 29, 2020 |
| IWPE 2020 |
International Workshop on Privacy Engineering | |
| Jun 15, 2020 - Jun 15, 2020 |
Genova (Italy) |
Mar 1, 2020 |
| IWPE 2020 |
Sixth International Workshop on Privacy Engineering | |
| Jun 15, 2020 - Jun 15, 2020 |
Genova (Italy) |
Mar 1, 2020 |
| JCKBSE 2020 |
13th International Joint Conference on Knowledge-Based Software Engineering | |
| Aug 24, 2020 - Aug 26, 2020 |
Larnaca, Cyprus |
Mar 6, 2020 |
| No Hat 2020 |
No Hat - COMPUTER SECURITY CONFERENCE | |
| Jun 13, 2020 - Jun 13, 2020 |
Bergamo, Italy |
Mar 31, 2020 |
| ISD 2020 |
29th International Conference on Information Systems Development | |
| Sep 9, 2020 - Sep 11, 2020 |
Valencia, Spain |
Apr 1, 2020 |
| QUORS 2020 |
The 14th IEEE International Workshop on Quality Oriented Reuse of Software | |
| Jul 13, 2020 - Jul 17, 2020 |
Madrid, Spain |
Apr 9, 2020 |
| CRITIS 2020 |
15th International Conference on Critical Information Infrastructures Security 2020 | |
| Sep 2, 2020 - Sep 3, 2020 |
Bristol, UK |
Apr 30, 2020 |
| SEFM 2020 |
Software Engineering and Formal Methods | |
| Sep 14, 2020 - Sep 18, 2020 |
Amsterdam |
May 4, 2020 (Apr 27, 2020) |
| MODELS 2020 |
Model Driven Engineering Languages and Systems | |
| Oct 18, 2020 - Oct 23, 2020 |
Montreal, Canada |
May 8, 2020 (Apr 30, 2020) |
| IFIP-ICTSS 2020 |
32ND IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS | |
| Oct 6, 2020 - Oct 8, 2020 |
Naples |
May 15, 2020 (May 7, 2020) |
| ICMLT--ACM, Ei Compendex and Scopus 2020 |
ACM--2020 5th International Conference on Machine Learning Technologies (ICMLT 2020)--Ei Compendex, Scopus | |
| Jun 19, 2020 - Jun 21, 2020 |
Beijing, China |
May 20, 2020 |
| EICC 2020 |
European Interdisciplinary Cybersecurity Conference | |
| Nov 18, 2020 - Nov 19, 2020 |
Couvent des Jacobins, Rennes, France |
Jun 14, 2020 |
| CYBER 2020 |
The Fifth International Conference on Cyber-Technologies and Cyber-Systems | |
| Oct 25, 2020 - Oct 29, 2020 |
Nice, France |
Jun 17, 2020 |
| CANS 2020 |
Cryptology and Network Security | |
| Dec 14, 2020 - Dec 16, 2020 |
Vienna, Austria |
Jun 21, 2020 |
| EXPRESS/SOS 2020 |
Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics | |
| Aug 31, 2020 - Aug 31, 2020 |
Vienna, Austria |
Jun 26, 2020 |
|
