Event | When | Where | Deadline | |
LICS 2020 |
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science | |
Jul 8, 2020 - Jul 12, 2020 |
Beijing, China |
Jan 10, 2020 (Jan 6, 2020) |
ECOOP 2020 |
European Conference on Object-Oriented Programming | |
Jul 13, 2020 - Jul 17, 2020 |
Berlin, Germany |
Jan 10, 2020 |
FormaliSE 2020 |
8th International Conference on Formal Methods in Software Engineering | |
May 25, 2020 - May 26, 2020 |
Seoul, South Korea |
Jan 16, 2020 (Jan 9, 2020) |
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) |
CAV 2020 |
Computer Aided Verification | |
Jun 21, 2020 - Jun 24, 2020 |
Los Angeles, USA |
Jan 23, 2020 |
IJCAR 2020 |
10th International Joint Conference on Automated Reasoning | |
Jun 29, 2020 - Jul 5, 2020 |
Paris, France |
Jan 23, 2020 (Jan 16, 2020) |
CREST 2020 |
5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology | |
Apr 25, 2020 - Apr 25, 2020 |
Dublin, Ireland |
Jan 25, 2020 |
FSCD 2020 |
Fifth International Conference on Formal Structures for Computation and Deduction | |
Jun 29, 2020 - Jul 5, 2020 |
Paris, France |
Feb 9, 2020 (Feb 6, 2020) |
ICALP 2020 |
47th International Colloquium on Automata, Languages and Programming | |
Jul 8, 2020 - Jul 12, 2020 |
Beijing, China |
Feb 12, 2020 |
OOPSLA 2020 |
Conference on Object-Oriented Programming Systems, Languages,and Applications | |
Sep 15, 2020 - Sep 20, 2020 |
Chicago |
Apr 15, 2020 |
SEFM 2020 |
Software Engineering and Formal Methods | |
Sep 14, 2020 - Sep 18, 2020 |
Amsterdam |
May 4, 2020 (Apr 27, 2020) |
POPL 2021 |
Principles of Programming Languages 2021 | |
Feb 17, 2021 - Feb 22, 2021 |
Copenhagen, Denmark |
Jul 9, 2020 |
ASPLOS 2021 |
Architectural Support for Programming Languages and Operating Systems | |
Mar 31, 2020 - Mar 31, 2020 |
Detroit, USA |
Aug 21, 2020 (Aug 14, 2020) |
ICSE 2021 |
43rd International Conference on Software Engineering, 23-29 May 2021 | |
May 23, 2021 - May 29, 2021 |
Madrid, Spain |
Aug 28, 2020 |
CPP 2021 |
Certified Programs and Proofs | |
Jan 18, 2021 - Jan 19, 2021 |
Copenhagen, Denmark |
Sep 22, 2020 (Sep 16, 2020) |
STOC 2021 |
Symposium on the Theory of Computing | |
Jul 21, 2021 - Jul 25, 2021 |
Rome, Italy |
Nov 6, 2020 |
TFP 2021 |
22nd Symposium on Trends in Functional Programming | |
Feb 17, 2021 - Feb 19, 2021 |
online |
Nov 20, 2020 |
PLDI 2021 |
Programming Language Design and Implementation | |
Jun 20, 2021 - Jun 25, 2021 |
Virtual Conference |
Nov 20, 2020 |
NFM 2021 |
13th NASA Formal Methods Symposium | |
May 24, 2021 - May 28, 2021 |
Norfolk, Virginia, USA |
Dec 4, 2020 (Nov 27, 2020) |
ECOOP 2021 |
Call for papers: 35th European Conference on Object-Oriented Programming | |
Jul 12, 2020 - Jul 16, 2020 |
Aarhus, Denmark |
Jan 11, 2021 |
|