Assistant - Master Simona Kašterović


Missing picture!

Simona Kašterović

Assistant - Master


Telephone
E-mail
Academic titleAssistant - Master
Employee's biography not found!
Assistant - Master
01.10.2021.
PositionFromToOrganizational unit
Assistant - Master01.10.2018.30.09.2021.Chair of Mathematics
Teaching Associate01.11.2016.Chair of Mathematics
TitleIn institution
Kripkeove semantike za intuicionističku logiku i lambda račun

Master's thesis

Mathematical Science

Faculty of Technical Sciences

2017

Criterium of productionDescription
() Report from the international meeting printed in its entiretySilvia Ghilezan, Jelena Ivetić, Simona Kašterović, Zoran Ognjanović, Nenad Savić: Probabilistic reasoning about simply typed lambda terms, LFCS 2018 - Logical Foundations of Computer Science, Florida, USA, January 2018, Lecture Notes in Computer Science 10703: 170-189
() Report from the international meeting printed in extractsSimona Kašterović, Michele Pagani, Towards Probabilistic Testing of Lambda Terms, 7. . Logic and Applications, Dubrovnik, 24.-28. September, 2018
() Report from the meeting of the national importance printed in its entiretyKašterović S.: Kripke semantike u intuicionističkoj iskaznoj logici, 2. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad: Fakultet tehničkih nauka, Novi Sad, 23-24 Jun, 2017, pp. 93-99
() Report from the meeting of the national importance printed in extractsS. Ghilezan, J. Ivetić, S. Kašterović, Z. Ognjanović, N. Savić, Towards probabilistic reasoning about simply typed lambda terms, Sedma nacionalna konferencija Verovatnosne logike i njihove primene, Beograd, Srbija, 8. - 8. Nov, 2017, pp. 11 - 12
TitleScientific areaHigher education institutionElection date
Assistant - MasterTeorijska i primenjena matematikaFaculty of Technical Sciences01.10.2021.
Assistant - MasterTeorijska i primenjena matematikaFaculty of Technical Sciences01.10.2018.
Teaching AssociateTeorijska i primenjena matematikaFaculty of Technical Sciences01.11.2017.
Teaching AssociateTeorijska i primenjena matematikaFaculty of Technical Sciences01.11.2016.