CAV 2025
| CAV 2025 | |
|---|---|
37th International Conference on Computer Aided Verification
| |
| Ordinal | 37 |
| Event in series | CAV |
| Dates | 2025/07/23 (iCal) - 2025/07/25 |
| Homepage: | https://conferences.i-cav.org/2025/ |
| Location | |
| Location: | Zagreb,Croatia |
| Important dates | |
| Submissions: | 2025/01/31 |
| Notification: | 2025/04/02 |
| Committees | |
| PC chairs: | Ruzica Piskac, Zvonimir Rakamaric |
| Table of Contents | |