| Event | When | Where | Deadline | |
| LiVe 2020 |
4th Workshop on Learning in Verification | |
| Apr 25, 2020 - Apr 25, 2020 |
Dublin, Ireland |
Feb 15, 2020 |
| LPAR 2020 |
LPAR23 - 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
| May 22, 2020 - May 27, 2020 |
Alicante, Spain |
Feb 15, 2020 |
| TTSDP 2020 |
12th International Workshop on Tools and Techniques in Software Development Process | |
| Jul 1, 2020 - Jul 4, 2020 |
Cagliari |
Feb 29, 2020 |
| ASE 2020 |
International Conference on Automated Software Engineering | |
| Sep 21, 2020 - Sep 25, 2020 |
Melbourne, Australia |
Apr 17, 2020 (Apr 10, 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 |
| POPL 2021 |
Symposium on Principles of Programming Languages | |
| Jan 17, 2021 - Jan 23, 2021 |
Copenhagen |
Jul 9, 2020 |
|
