Event | When | Where | Deadline | |
ICALP 2020 |
47th International Colloquium on Automata, Languages and Programming | |
Jul 8, 2020 - Jul 12, 2020 |
Beijing, China |
Feb 12, 2020 |
DisCoTec 2020 |
International Federated Conference on Distributed Computing Techniques | |
Jun 15, 2020 - Jun 19, 2020 |
Malta |
Feb 14, 2020 (Feb 3, 2020) |
DBSec 2020 |
34th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy | |
Jun 25, 2020 - Jun 27, 2020 |
Regensburg, Germany |
Feb 15, 2020 |
IEEE ISCC 2020 |
25th IEEE International Symposium on Computers and Communications (ISCC) | |
Jul 7, 2020 - Jul 10, 2020 |
Rennes, France |
Feb 15, 2020 |
ICPP 2020 |
International Conference on Parallel Processing | |
Aug 17, 2020 - Aug 20, 2020 |
Edmonton, Alberta, Canada |
Mar 16, 2020 (Mar 9, 2020) |
RAID 2020 |
The 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020) | |
Oct 14, 2020 - Oct 18, 2020 |
San Sebastian, Spain |
Mar 24, 2020 |
SECRYPT 2020 |
17th International Conference on Security and Cryptography | |
Jul 8, 2020 - Jul 10, 2020 |
Online Streaming |
Mar 31, 2020 |
ISD 2020 |
29th International Conference on Information Systems Development | |
Sep 9, 2020 - Sep 11, 2020 |
Valencia, Spain |
Apr 1, 2020 |
FORMATS 2020 |
Formal Modeling and Analysis of Timed Systems | |
Sep 1, 2020 - Sep 3, 2020 |
Vienna, Austria |
Apr 13, 2020 (Apr 6, 2020) |
PST 2020 |
18th Annual International Conference on Privacy, Security, and Trust (PST2020) | |
Aug 17, 2020 - Aug 19, 2020 |
Hangzhou, China |
Apr 15, 2020 |
OOPSLA 2020 |
Conference on Object-Oriented Programming Systems, Languages,and Applications | |
Sep 15, 2020 - Sep 20, 2020 |
Chicago |
Apr 15, 2020 |
PACT 2020 |
International Conference on Parallel Architectures and Compilation Techniques | |
Oct 3, 2020 - Oct 7, 2020 |
Atlanta, GA |
Apr 17, 2020 (Apr 10, 2020) |
MFCS 2020 |
The 45th International Symposium on Mathematical Foundations of Computer Science | |
Aug 24, 2020 - Aug 28, 2020 |
Prague, Czech Republic |
Apr 20, 2020 |
SAS 2020 |
Static Analysis Symposium, SAS 2020 | |
Nov 18, 2020 - Nov 20, 2020 |
Chicago, Illinois, United States |
Apr 24, 2020 (Apr 22, 2020) |
ICFEM 2020 |
The 22nd International Conference on Formal Engineering Methods (2020) | |
Nov 2, 2020 - Nov 6, 2020 |
Singapore |
May 1, 2020 |
SEFM 2020 |
Software Engineering and Formal Methods | |
Sep 14, 2020 - Sep 18, 2020 |
Amsterdam |
May 4, 2020 (Apr 27, 2020) |
ICLP 2020 |
The 36th International Conference on Logic Programming | |
Sep 18, 2020 - Sep 24, 2020 |
Rende, Italy |
May 8, 2020 |
ACSAC 2020 |
Annual Computer Security Applications Conference | |
Dec 7, 2020 - Dec 11, 2020 |
Austin, Texas |
Jun 12, 2020 |
iFM 2020 |
16th International Conference on integrated Formal Methods | |
Nov 16, 2020 - Nov 20, 2020 |
Lugano, Switzerland |
Jun 22, 2020 (Jun 15, 2020) |
ICTAC 2020 |
17th International Colloquium on Theoretical Aspects of Computing | |
Dec 2, 2020 - Dec 4, 2020 |
Macao |
Jun 26, 2020 (Jun 22, 2020) |
|