Sebastijan Horvat

Teaching assistant

Department of Mathematics
Faculty of Science
University of Zagreb
Bijenička cesta 30
10000 Zagreb
Croatia

Informations

Room number	A306/III (third floor)
Mail	sebastijan.horvat (at) math.hr
Office hours	Please make an appointment by email

Teaching

Winter semester of the academic year 2023/2024

Computer architecture (Exercises)
Computer networks (Exercises)
Computing lab 3 (Exercises)

Summer semester of the academic year 2023/2024

Object-oriented programming (C++) (Exercises)

Past teaching responsibilities

Academic year 2022/2023
Winter semester	Summer semester
Computer architecture (Exercises) Data structures and algorithms (Exercises) Set theory (Exercises) Programming and Algorithms (Exercises at FAMENA)	Object-oriented programming (C++) (Exercises)
Academic year 2021/2022
Winter semester	Summer semester
Computer architecture (Exercises) Computer networks (Exercises) Computer programming 1 (Exercises) Data structures and algorithms (Exercises) Programming and Algorithms (Exercises at FAMENA)	Computer programming 2 (Exercises)
Academic year 2020/2021
Winter semester	Summer semester
Computer architecture (Exercises) Computer networks (Exercises) Computer programming 1 (Exercises) Data structures and algorithms (Exercises)	Computer programming 2 (Exercises)
Academic year 2019/2020
Winter semester	Summer semester
Computer architecture (Exercises) Computer networks (Exercises)	Computing lab 2 (for Mathematics Education students, Exercises) Mathematics 2 (for Undergraduate chemistry students, Exercises)

In the academic year 2018/2019 and part of the winter semester of the 2019/2020 academic year, I was in charge of holding seminars for the courses Mathematics 1 i Matematics 2 at the Faculty of Teacher Education in Zagreb and their Department in Čakovec.

Awards

Academic year 2022/2023
June 6, 2023.	Annual award Brdo for the best teaching assistant	Student Association at the Faculty of Science
Academic year 2021/2022
June 8, 2022.	Annual award Brdo for the best teaching assistant	Student Association at the Faculty of Science (see on Facebook)
Academic year 2020/2021
February 26, 2021	Stipe Vidak award by the Department of Mathematics	see on web, see on Srednja.hr
June 8, 2021	Annual award Brdo for the best teaching assistant	Student Association at the Faculty of Science (see on Instagram)

Conference talks

Zagreb Logic Conference 2024 (ZLC24) (web page)
January 15, 2024	A weak bisimulation characterisation for interpretability logic with respect to Verbrugge semantics	Abstract available on page 14. here
Workshop on Proof Theory, Modal Logic and Reflection Principles 2023 (Wormshop 2023) (web page)
November 1, 2023	Van Benthem's characterisation theorem for interpretability logic IL with respect to Verbrugge semantics	Abstract available on page 5. here
Logic and Applications 2023 (LAP 2023) (web page)
September 26, 2023	The selection method for interpretability logic IL with respect to Verbrugge semantic	Abstract avaiable here
World Logic Day 2023, Faculty of Science, Zagreb (web page)
January 14, 2023	Games and tree unravelings for a new notion of bisimulations of Verbrugge semantics	Abstract avaiable here
7th Croatian Mathematical Congress (CroMC), Split
June 17, 2022	A new notion of bisimulations of Verbrugge semantics	Abstract avaiable here
The sixth Faculty of Science PhD Student Symposium (6th PhDSS), Zagreb
April 23, 2022	Bisimulations for generalised Veltman semantics	Abstract available on pages 184./185. here
	Poster presented at the Symposium
Logic and Applications 2022 (LAP 2022), Dubrovnik
September 28, 2022	A good method of transforming Veltman into Verbrugge models	Abstract available on the page 22. here
FORMALS 2021 workshop, Dubrovnik
September 22, 2021	Bisimulation games for (generalized) Veltman semantics	Abstract available on the page 79. here
Logic and Applications 2021 (LAP 2021), Dubrovnik
September 22, 2021	n-bisimulations for generalised Veltman semantics	Abstract available on the page 31. here
FORMALS 2019 workshop, Zagreb
June 18, 2019	GL₁ is PSPACE-complete	Abstract available here
Logic and Applications 2019 (LAP 2019), Dubrovnik
September 25, 2019	Smart labels	Abstract available on the page 19. here

Seminar for mathematical logics and foundations of mathematics

List of lectures I gave at the Seminar for mathematical logics and foundations of mathematics (web page of the Seminar)

Academic year 2022/2023
September 4, 2023	Selection method for interpretability logic IL with respect to Verbrugge semantics	Recording (in Croatian)
March 27, 2023	Bisimulations and bisimulation games for Verbrugge semantics	Recording (in Croatian)
Academic year 2021/2022
May 23, 2022	Weak bisimulation games for Verbrugge semantics	Recording (in Croatian)
Academic year 2020/2021
June 14, 2021	n-bisimulations for generalized Veltman semantics	Recording (in Croatian)
Academic year 2019/2020
September 14, 2020	Smart labels	Recording (in Croatian)
Academic year 2018/2019
February 4, 2019	PSPACE-completeness of GL₁	Recording (in Croatian)

Conferences in which I passively participated:

The seventh Faculty of Science PhD Student Symposium (7th PhDSS), on April 21 and 22, 2023. (Department of Chemistry of the Faculty of Science, Zagreb)
Srce DEI 2023 conference, From 28th to 30th March 2023 (Zagreb)
Logic Colloquium 2022, from the 27th of June to the 1st of July (Reykjavik, Island, online participation)
32nd European Summer School in Logic, Language and Information (ESSLLI 2021), from July 26 and August 13, 2021 (online)
Logic Colloquium 2021, from July 19 to July 24, 2021 (online)
Workshop on Proof Theory, Modal Logic and Reflection Principles, from November 5 to November 8, 2019 (Barcelona, Spain)
31nd European Summer School in Logic, Language and Information (ESSLLI 2019), from August 5 to August 16, 2019 (Riga, Latvia)