| 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 |
Apr 20, 2024 |
|
