CAV 2025 (Duplicate)
| CAV 2025 (Duplicate) | |
|---|---|
The 37th International Conference on Computer Aided Verification
| |
| Ordinal | 37 |
| Event in series | CAV |
| Dates | 2025-07-21 (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 | |
,