| Event | When | Where | Deadline | |
| SAC-SVT 2023 |
CfP Software Verification and Testing Track at SAC 2023 - deadline extension to October, 15 | |
| Mar 27, 2023 - Mar 31, 2023 |
Tallinn, Estonia |
Oct 15, 2022 |
| CREST 2023 |
6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology | |
| Apr 23, 2023 - Apr 23, 2023 |
Paris, France |
Jan 16, 2023 (Jan 9, 2023) |
|
