Event | When | Where | Deadline | |
PSSV 2020 |
XI Workshop Program Semantics, Specification and Verification | |
Nov 3, 2020 - Nov 4, 2020 |
Moscow (Russia) |
Sep 14, 2020 |
SAC-SVT 2021 |
Software Verification and Testing Track at SAC 2021 | |
Mar 22, 2021 - Mar 26, 2021 |
Gwangju, Korea |
Sep 15, 2020 |
CPP 2021 |
Certified Programs and Proofs | |
Jan 18, 2021 - Jan 19, 2021 |
Copenhagen, Denmark |
Sep 22, 2020 (Sep 16, 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) |
FSEN 2021 |
9th IPM International Conference on Fundamentals of Software Engineering | |
May 19, 2021 - May 21, 2021 |
Tehran |
Nov 1, 2020 (Oct 18, 2020) |
FM 2021 |
Formal Methods 2021 | |
Nov 20, 2021 - Nov 26, 2021 |
Beijing, China |
May 6, 2021 (Apr 30, 2021) |
|