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