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 2024/2025

Summer semester of the academic year 2024/2025

Past teaching responsibilities

Academic year 2023/2024
Winter semester Summer semester
  • Computer architecture (Exercises)
  • Computer networks (Exercises)
  • Computing lab 3 (Exercises)
  • Object-oriented programming (C++) (Exercises)
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

8th Croatian Mathematical Congress (web page)
July 2, 2024 Characterisation theorems for interpretability logic IL with respect to Verbrugge semantics Abstract avaiable here
Logic Colloquium 2024 (LC2024) (web page)
June 26, 2024 Advantages of using weak bisimulation for the logic IL with respect to Verbrugge semantics Abstract avaiable here
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 GL1 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 GL1 Recording (in Croatian)

Conferences in which I passively participated: