Sebastijan Horvat, obrana doktorske disertacije

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"