dr. sc. Sebastijan Horvat

Asistent@PMF-MO

Click here to view this website in English

Informacije

Broj ureda	A306/III (treći kat)
Mail	sebastijan.horvat (at) math.hr
Konzultacije	po dogovoru mailom (uživo ili online)

Nastavna zaduženja

Zimski semestar ak. god. 2024./2025.

Građa računala (vježbe)
Mreže računala (vježbe)
Strukture podataka i algoritmi (vježbe)

Ljetni semestar ak. god. 2024./2025.

Objektno programiranje (C++) (vježbe)
Računarski praktikum 1 (vježbe)
Baze podataka (vježbe, 2 grupe)

Prošla nastavna zaduženja

Ak. god. 2023/2024
Zimski semestar	Ljetni semestar
Građa računala (vježbe) Mreže računala (vježbe) Računarski praktikum 3 (vježbe)	Objektno programiranje (C++) (vježbe)
Ak. god. 2022/2023
Zimski semestar	Ljetni semestar
Građa računala (vježbe, 2 grupe) Strukture podataka i algoritmi (vježbe) Teorija skupova (vježbe) Programiranje i algoritmi (vježbe, FSB, 6 grupa)	Objektno programiranje (C++) (vježbe)
Ak. god. 2021/2022
Zimski semestar	Ljetni semestar
Građa računala (vježbe) Mreže računala (vježbe) Programiranje 1 (vježbe) Strukture podataka i algoritmi (vježbe) Programiranje i algoritmi (vježbe, FSB, 4 grupe)	Programiranje 2 (vježbe)
Ak. god. 2020/2021
Zimski semestar	Ljetni semestar
Građa računala (vježbe) Mreže računala (vježbe) Programiranje 1 (vježbe) Strukture podataka i algoritmi (vježbe)	Programiranje 2 (vježbe)
Ak. god. 2019/2020
Zimski semestar	Ljetni semestar
Građa računala (vježbe) Mreže računala (vježbe, 2 grupe)	Računarski praktikum 2 - za nastavnike (vježbe) Matematika 2 - za kemičare (vježbe)

U ak. godini 2018./2019. i dijelu zimskog semestra ak. godine 2019./2020. održavanje seminara iz Matematike 1 i Matematike 2 na Učiteljskom fakultetu u Zagrebu, te odsjeku Učiteljskog fakulteta u Čakovcu.

Nagrade

Ak. god. 2022./2023.
6. lipnja 2023.	Nagrada Brdo	Studentski zbor
Ak. god. 2021./2022.
8. lipnja 2022.	Nagrada Brdo	Studentski zbor (s Facebooka)
Ak. god. 2020./2021.
26. veljače 2021.	Nagrada Stipe Vidak	Sa stranice PMF-a , Srednja.hr
8. lipnja 2021.	Nagrada Brdo	Studentski zbor (s Instagrama)

Izlaganja na konferencijama, kongresima, simpozijima

Ak. god. 2023./2024.
8. hrvatski matematički kongres (web-stranica)
2. srpnja 2024.	Characterisation theorems for interpretability logic IL with respect to Verbrugge semantics	Sažetak dostupan OVDJE
Logic Colloquium 2024 (LC2024) (web-stranica)
26. lipnja 2024.	Advantages of using weak bisimulation for the logic IL with respect to Verbrugge semantics	Sažetak dostupan OVDJE
Zagreb Logic Conference 2024 (ZLC24) (web-stranica)
15. siječnja 2024.	A weak bisimulation characterisation for interpretability logic with respect to Verbrugge semantics	Sažetak na str. 14. OVDJE
Workshop on Proof Theory, Modal Logic and Reflection Principles 2023 (Wormshop 2023) (web-stranica)
1. studenoga 2023.	Van Benthem's characterisation theorem for interpretability logic IL with respect to Verbrugge semantics	Sažetak na str. 5. OVDJE
Ak. god. 2022./2023.
Logic and Applications 2023 (LAP 2023)
26. rujna 2023.	The selection method for interpretability logic IL with respect to Verbrugge semantic	Sažetak dostupan OVDJE
World Logic Day 2023
14. siječnja 2023.	Games and tree unravelings for a new notion of bisimulations of Verbrugge semantics	Sažetak dostupan OVDJE
Ak. god. 2021./2022.
Sedmi hrvatski matematički kongres
17. lipnja 2022.	A new notion of bisimulations of Verbrugge semantics	Sažetak dostupan OVDJE
6. Simpozij studenata doktorskih studija PMF-a
23. travnja 2022.	Bisimulations for generalised Veltman semantics	Sažetak na str. 184./185. OVDJE
	Poster izložen na Simpoziju
Logic and Applications 2022 (LAP 2022)
28. rujna 2022.	A good method of transforming Veltman into Verbrugge models	Sažetak na str. 22. OVDJE
Ak. god. 2020./2021.
FORMALS 2021 workshop
22. rujna 2021.	Bisimulation games for (generalized) Veltman semantics	Sažetak na str. 79. OVDJE
Logic and Applications 2021 (LAP 2021)
22. rujna 2021.	n-bisimulations for generalised Veltman semantics	Sažetak na str. 31. OVDJE
Ak. god. 2018./2019.
FORMALS 2019 workshop
18. lipnja 2019.	GL₁ is PSPACE-complete	Sažetak dostupan OVDJE
Logic and Applications 2019 (LAP 2019)
25. rujna 2019.	Smart labels	Sažetak na str. 19. OVDJE

Seminar za matematičku logiku i osnove matematike

Održana predavanja na Seminaru za matematičku logiku i osnove matematike (web-stranica)

Ak. god. 2024./2025.
7. travnja 2025.	Sistemi sekvenata za logike interpretabilnosti	-
14. travnja 2025.	Sistemi sekvenata za logike interpretabilnosti (2)	-
Ak. god. 2022./2023.
4. rujna 2023.	Metoda selekcije za logiku interpretabilnosti IL s obzirom na Verbruggeinu semantiku	Snimka
27. ožujka 2023.	Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku	Snimka
Ak. god. 2021./2022.
23. svibnja 2022.	Slabe bisimulacijske igre za Verbruggeinu semantiku	Snimka
Ak. god. 2020./2021.
14. lipnja 2021.	n-bisimulacije za generaliziranu Veltmanovu semantiku	Snimka
Ak. god. 2019./2020.
14. rujna 2020.	Pametne oznake	Snimka
Ak. god. 2018./2019.
4. veljače 2019.	PSPACE-potpunost GL₁	Snimka

Praćenje konferencija i dr.

Logic and Applications 2024 (LAP 2024), 23. rujna - 27. rujna 2024. (Dubrovnik) (web-stranica)
The 7th Workshop on Proof Theory, Modal Logic and Reflection Principles (Wormshop 2024), 2. rujna - 5. rujna 2024. (Gent, Belgija) (web-stranica)
7. Simpozij studenata doktorskih studija Prirodoslovno-matematičkog fakulteta, 21. travnja - 22. travnja 2023. (Kemijski odsjek PMF-a u Zagrebu)
Konferencija Dani e-infrastrukture SRCE DEI 2023 i završna konferencija projekta HR-ZOO, 28. ožujka - 30. ožujka 2023. (Zagreb)
Logic Colloquium 2022, 27. lipnja - 1. srpnja 2022. (Reykjavik, Island, hibridno - pratio online)
32nd European Summer School in Logic, Language and Information (ESSLLI 2021), 26. srpnja - 13. kolovoza 2021. (online)
Logic Colloquium 2021, 19. srpnja - 24. srpnja 2021. (online)
Workshop on Proof Theory, Modal Logic and Reflection Principles, 5. studenoga - 8. studenoga 2021. (Barcelona, Španjolska)
31nd European Summer School in Logic, Language and Information (ESSLLI 2019), 5. kolovoza - 16. kolovoza 2019. (Riga, Latvija)