tlili2019's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
SETTA 2020 Symposium on Dependable Software Engineering Theories, Tools and Applications
Nov 24, 2020 - Nov 27, 2020 Guangzhou, China Jul 4, 2020
RP 2020 14th International Conference on Reachability Problems (RP'20)
Oct 19, 2020 - Oct 21, 2020 Paris, France Jul 17, 2020
ASYDE 2020 Automated and verifiable Software sYstem DEvelopment
Sep 15, 2020 - Sep 15, 2020 Amsterdam, The Netherlands Jul 31, 2020
CPP 2021 Certified Programs and Proofs
Jan 18, 2021 - Jan 19, 2021 Copenhagen, Denmark Sep 22, 2020 (Sep 16, 2020)
IJIT 2022 International Journal on Information Theory
N/A N/A Jan 22, 2022
first | previous | Page 2 | next | last Total of 25 CFPs in 2 pages