Event | When | Where | Deadline | |
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 2024 |
International Journal on Information Theory | |
N/A |
N/A |
Sep 28, 2024 |
|