mklemen's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
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)
ATVA 2020 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
Oct 26, 2020 - Oct 30, 2020 Hanoi, vietnam May 3, 2020 (Apr 26, 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
first | previous | Page 1 | next | last Total of 8 CFPs in 1 pages