| Event | When | Where | Deadline | |
| TACAS 2021 |
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
| Mar 27, 2021 - Apr 1, 2021 |
Luxembourg |
Oct 15, 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 |
| FormaliSE 2021 |
9th International Conference on Formal Methods in Software Engineering | |
| May 17, 2021 - May 21, 2021 |
online |
Jan 12, 2021 (Jan 5, 2021) |
| CAV 2021 |
33rd International Conference on Computer-Aided Verification | |
| Jul 18, 2021 - Jul 23, 2021 |
Los Angeles |
Jan 28, 2021 |
| ISSTA 2021 |
International Symposium on Software Testing and Analysis | |
| Jul 12, 2021 - Jul 16, 2021 |
Aarhus, Denmark |
Jan 29, 2021 |
| ICALP 2021 |
International Colloquium on Automata, Languages and Programming | |
| Jul 12, 2021 - Jul 16, 2021 |
Glasgow, Scotland |
Feb 12, 2021 |
| ABZ 2021 |
ABZ 2021: 8th International Conference on Rigorous State Based Methods | |
| Jun 7, 2021 - Jun 11, 2021 |
Ulm |
Feb 22, 2021 (Feb 15, 2021) |
| ESEC/FSE 2021 |
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | |
| Aug 23, 2021 - Aug 27, 2021 |
Athens, Greece |
Feb 25, 2021 |
| ICFP 2021 |
International Conference on Functional Programming | |
| Aug 22, 2021 - Aug 27, 2021 |
Virtual |
Mar 2, 2021 |
| ATVA 2021 |
The 19th International Symposium on Automated Technology for Verification and Analysis | |
| Oct 18, 2021 - Oct 22, 2021 |
Gold Coast, Australia |
Apr 23, 2021 |
|
