| Event | When | Where | Deadline | |
| CAV 2025 |
37th International Conference on Computer Aided Verification | |
| Jul 21, 2025 - Jul 25, 2025 |
Zagreb, Croatia |
Jan 31, 2025 |
| IV 2025 |
Intelligent Vehicles Symposium | |
| Jun 22, 2025 - Jun 25, 2025 |
Grand Hotel Italia, Cluj-Napoca, Romania |
Feb 1, 2025 |
| CDC 2025 |
Conference on Decision and Control | |
| Dec 10, 2025 - Dec 12, 2025 |
Rio de Janeiro, Brazil |
Mar 31, 2025 (Mar 17, 2025) |
|
