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) |
|