| Event | When | Where | Deadline | |
| SEFM 2018 |
The 16th International Conference on Software Engineering and Formal Methods | |
| Jun 27, 2018 - Jun 29, 2018 |
Toulouse, France |
Mar 2, 2018 (Feb 23, 2018) |
| ML4PL 2018 |
The 2nd International Workshop on Machine Learning Techniques for Programming Languages | |
| Jul 18, 2018 - Jul 18, 2018 |
Amsterdam, Netherlands |
May 18, 2018 |
| PADL 2019 |
International Symposium on Practical Aspects of Declarative Languages | |
| Jan 14, 2019 - Jan 15, 2019 |
Lisbon, Portugal |
Sep 28, 2018 (Sep 21, 2018) |
| PLDI 2019 |
Programming Language Design and Implementation | |
| Jun 24, 2019 - Jun 26, 2019 |
Phoenix Arizona, United States |
Nov 16, 2018 |
| VPT 2019 |
Seventh International Workshop on Verification and Program Transformation | |
| Apr 2, 2019 - Apr 2, 2019 |
Genova, Italy |
Jan 8, 2019 (Dec 30, 2018) |
| OOPSLA 2019 |
SPLASH 2019 OOPSLA | |
| Oct 20, 2019 - Oct 25, 2019 |
Athens, Greece |
Apr 5, 2019 |
| FTfJP 2019 |
21st Workshop on Formal Techniques for Java-like Programs | |
| Jul 15, 2019 - Jul 19, 2019 |
London |
Apr 21, 2019 |
| WAPL 2019 |
7th Workshop on Advances in Programming Languages | |
| Sep 1, 2019 - Sep 4, 2019 |
Leipzig, Germany |
Jun 4, 2019 |
| POPL 2020 |
ACM SIGPLAN Symposium on Principles of Programming Languages 2020 | |
| Jan 19, 2020 - Jan 25, 2020 |
New Orleans, Louisiana, USA |
Jul 10, 2019 |
| PPoPP 2019 |
47th ACM SIGPLAN Symposium on Principles of Programming Languages | |
| Jan 19, 2020 - Jan 25, 2020 |
New Orleans, Louisiana, United States |
Oct 21, 2019 (Oct 16, 2019) |
| OOPSLA 2020 |
Conference on Object-Oriented Programming Systems, Languages,and Applications | |
| Sep 15, 2020 - Sep 20, 2020 |
Chicago |
Apr 15, 2020 |
| CONISOFT 2020 |
8th International Conference on Software Engineering Research and Innovation | |
| Nov 4, 2020 - Nov 6, 2020 |
Chetumal, Quintana Roo, Mexico |
May 22, 2020 |
| SETTA 2020 |
Symposium on Dependable Software Engineering Theories, Tools and Applications | |
| Nov 24, 2020 - Nov 27, 2020 |
Guangzhou, China |
Jul 4, 2020 |
| ICST 2021 |
IEEE International Conference on Software Testing, Verification and Validation 2021 | |
| Apr 12, 2021 - Apr 16, 2021 |
Virtual |
Oct 12, 2020 (Oct 5, 2020) |
|
