Zagreb će ove godine ugostiti prestižnu međunarodnu konferenciju Computer Aided Verification - CAV 2025, jedno od najvažnijih okupljanja stručnjaka u području formalnih metoda za verifikaciju računalnih sustava. FER je službeni pokrovitelj konferencije i na njemu će se 21. i 22. srpnja održati cjelodnevne radionice, koje prethode glavnom dijelu konferencije. 

CAV 2025 očekuje oko 250 sudionika iz više od 30 zemalja svijeta, najviše iz SAD-a i Europe, ali i iz Australije, Kine, Hong Konga i drugih regija. Riječ je o vrhunskoj platformi za razmjenu znanja i suradnju između akademske zajednice i industrije.

Organizaciju predvode znanstvenici s vodećih svjetskih institucija. Programski voditelji su Ruzica Piskac (Yale University) i Zvonimir Rakamaric (Amazon Web Services – AWS), dok je izv. prof dr. sc. Alan Jović s FER-a lokalni voditelj konferencije.

Konferencija CAV već 37 godina okuplja vrhunske istraživače i praktičare koji razvijaju automatizirane alate i metode za formalnu verifikaciju softverskih i hardverskih sustava. U fokusu su metode dokazivanja ispravnosti, pouzdanosti i sigurnosti sustava korištenjem provjere modela, dokazivanja teorema, apstraktne interpretacije i srodnih tehnika. CAV je jedna od vodećih konferencija o formalnim metodama u svijetu i igra važnu ulogu u povezivanju akademskih istraživanja i praktičnih primjena u verifikaciji računalnih sustava.

Održavanje CAV-a u Zagrebu potvrđuje sve jači položaj hrvatskih istraživača u međunarodnoj znanstvenoj zajednici te otvara vrata budućim suradnjama i projektima na svjetskoj razini.