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.
[ ... ]
Kategorije:
- Prijavite se ili registrirajte za slanje komentara