u srijedu, 24. siječnja 2024. u 12.00 sati
u predavaonici br. A318 PMF-Matematičkog odsjeka u Zagrebu, Bijenička cesta 30.
Sveučilište u Zagrebu
PMF-Matematički odsjek
Bijenička 30
10000 Zagreb
KLASA: 643-02/23-01/5
URBROJ: 251-58-10310-24-213
Zagreb, 15. siječnja 2024.
O G L A S
Predmet: Sebastijan Horvat
obrana doktorske disertacije
Na temelju zaključka Vijeća PMF-Matematičkog odsjeka, Sveučilišta u Zagrebu, donesenog na sjednici od 10. siječnja 2024. godine, obrana doktorske disertacije Sebastijana Horvata, asistenta na Matematičkom odsjeku Prirodoslovno- matematičkog fakulteta Sveučilišta u Zagrebu, održat će se
u srijedu, 24. siječnja 2024. u 12.00 sati
u predavaonici br. A318 PMF-Matematičkog odsjeka u Zagrebu, Bijenička cesta 30.
Imenovano je povjerenstvo za obranu disertacije u sastavu:
1. doc. dr. sc. Vedran Čačić, PMF-MO
2. doc. dr. sc. Marko Horvat, PMF-MO
3. izv. prof. dr. sc. Tomislav Šikić, FER
4. prof. dr. sc. Zvonko Iljazović, PMF, zamjena
Naslov disertacije:
"Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku"