Inženjerska sekcija HMD-a -
- predavanje u ožujku 2022.
U sklopu Inženjerske sekcije HMD-a Ivan Gavran održat će predavanje pod naslovom „Formalne metode – od robota do blockchaina“ 23. ožujka 2022. s početkom u 18h. Predavanje će se održati uživo na PMF-u, Matematički odsjek, Zagreb, Bijenička 30, dvorana 003, a prenosit će se i putem Zoom aplikacije. Napominjemo da je za ulaz u zgradu PMF potrebno predočiti Covid potvrdu. Obrazac prijave se nalazi na sljedećoj poveznici, a prijave se zaprimaju do ponedjeljka, 21. ožujka 2022.
Napominjemo da će se predavanje snimati te će snimka naknadno biti dostupna putem web-stranice HMD-a. Ispunjavanjem prijavnice dat ćete svoju suglasnost na snimanje predavanja. U nastavku Vam dostavljamo sažetak predavanja.
Predavanje Inženjerske sekcije HMD-a
U sklopu Inženjerske sekcije HMD-a Ivan Gavran održat će predavanje pod naslovom „Formalne metode – od robota do blockchaina“ 23. ožujka 2022. s početkom u 18h. Predavanje će se održati uživo na PMF-u, Matematički odsjek, Zagreb, Bijenička 30, dvorana 003, a prenosit će se i putem Zoom aplikacije. Napominjemo da je za ulaz u zgradu PMF potrebno predočiti Covid potvrdu. Obrazac prijave se nalazi na sljedećoj poveznici, a prijave se zaprimaju do ponedjeljka, 21. ožujka 2022.
Napominjemo da će se predavanje snimati te će snimka naknadno biti dostupna putem web-stranice HMD-a. Ispunjavanjem prijavnice dat ćete svoju suglasnost na snimanje predavanja. U nastavku Vam dostavljamo sažetak predavanja.
Formalne metode su grana računarstva koja pruža garancije za točnost programa. Iako rješavaju važan problem i pune su prelijepih, elegantnih ideja i tehnika, formalne metode su sve donedavno bile jedva korištene u industriji. To se, ipak, značajno mijenja u posljednjih desetak godina i formalne metode igraju sve bitniju ulogu u suvremenom softverskom inženjerstvu. U ovom predavanju, Ivan Gavran govorit će o ovoj značajnoj promjeni kroz svoje iskustvo rada na formalnim metodama u akademiji (u području robotskih sustava) i industriji (u području blockchain softvera).
Ivan Gavran diplomirao je 2013. na PMF-u, s temom logičke analize hibridnih sustava. Prve tri godine radio je za Bellabeat, hrvatski startup koji proizvodi pametni nakit. Godine 2016. započeo je doktorat na Institutu Maxa Plancka za sofverske sustave (MPI-SWS) u Kaiserslauternu. Tamo je objavio niz radova na presjeku formalnih metoda i umjetne inteligencije. Prije nekoliko mjeseci pridružio se firmi Informal Systems, gdje radi na formalnoj verifikaciji distribuiranih sustava.
Inženjerska sekcija HMD-a - predavanje 1. prosinca 2021.
pozivamo Vas na predavanje HMD-a koje će pod naslovom "Online eksperimenti – iskustva velikih kompanija" održati dr. sc. Tvrtko Tadić u srijedu 1. prosinca 2021. s početkom u 18 sati. Predavanje će biti uživo na PMF-u, Matematički odsjek, Zagreb, Bijenička 30, dvorana A001, a prenosit će se i putem Zoom aplikacije.
Napominjemo da je za ulaz u zgradu PMF potrebno predočiti Covid potvrdu. Obrazac prijave se nalazi na sljedećoj poveznici: FILL OUT FORM a prijave se zaprimaju do ponedjeljka, 29. studenog 2021.
Predavanje će se snimati te će snimka naknadno biti dostupna putem web-stranice HMD-a. Ispunjavanjem prijavnice dat ćete svoju suglasnost na snimanje predavanja.
Poveznica na snimku predavanja.
Predavanje Inženjerske sekcije HMD-a:
Novčani tokovi u mirovinskom osiguranju
U sklopu Inženjerske sekcije HMD-a predavanje pod nazivom "Novčani tokovi o mirovinskom osiguranju" će održati Ksenija Sanjković u srijedu 3. ožujka 2021. s početkom u 18 sati. Predavanje će biti putem Zoom aplikacije. Obrazac prijave se nalazi na sljedećoj poveznici: Prijava, a prijave se zaprimaju do ponedjeljka, 1. ožujka 2021.
Napominjemo da će se predavanje snimati te će snimka naknadno biti dostupna putem web-stranice HMD-a. Ispunjavanjem prijavnice dat ćete svoju suglasnost na snimanje predavanja.
Poveznica na snimku predavanja.
O predavanju:
Na temelju Zakona o mirovinskim osiguravajućim društvima, mirovinska osiguravajuća nude programe obveznih i dobrovoljnih mirovina. Iako je mirovinsko osiguranje po svojoj naravi slično životnom odnosno rentnom osiguranju, zbog određenih specifičnosti određenih Zakonom, novčani tokovi se u mirovinskom osiguranju razlikuju od onih u klasičnom rentnom osiguranju. U sklopu predavanja prezentirat će se novčani tokovi koji se pojavljuju kod izračuna cjenika mirovinskog osiguranja, izračuna tehničkih pričuva, testa profita te utjecaj naknada, eventualne raspodjele dobiti i formiranja interventnih pričuva na iste.
Životopis predavačice:
Ksenija Sanjković je ovlašteni aktuar s više od 20 godina iskustva u osiguranju. Diplomirala je matematiku na Matematičkom odjelu PMF-u u Zagrebu i stekla zvanje dipl. ing. matematike. Položila je ispit za investicijskog savjetnika i ispit za posrednika (brokera) u osiguranju. Redovna je članica je Hrvatskog aktuarskog društva (HAD), a od 2014. do 2020. obavljala je funkciju predsjednice HAD-a. Sudjelovala je kao članica u radu Radne skupine za izmjene i dopune Zakona o osiguranju pri Ministarstvu financija te Radne skupine za izmjene i dopune Zakona o mirovinskim osiguravajućim društvima pri Ministarstvu rada i mirovinskog sustava. Predsjednica je HAD-ove Komisije za profesionalizam i članica Odbora za profesionalizam Međunarodnog aktuarskog udruženja kao i Odbora za osiguranje Europskog aktuarskog udruženja. Radno iskustvo stekla je u nekoliko društava za osiguranje u kojima je između ostalog obnašala funkcije imenovanog ovlaštenog aktuara te članice odnosno predsjednice uprave. Direktorica je društva AKTURA AG d.o.o. za brokerske poslove u osiguranju i reosiguranju. Jedna je od predavača na predmetu "Praksa osiguranja i mirovinskog osiguranja" u sklopu edukacije Hrvatskog aktuarskog društva u svrhu dobivanja aktuarskog ovlaštenja. Od 2019. godine voditeljica je Inženjerske sekcije Hrvatskog matematičkog društva. Sudjelovala je u projektima osnivanja prvog (2002.) i drugog (2020.) mirovinskog osiguravajućeg društva u RH. U prosincu 2020. obranila je Završni rad na Poslijediplomskom stručnom studiju aktuarske matematike pod nazivom „Test profita programa obveznog mirovinskog osiguranja na temelju individualne kapitalizirane štednje“.
Popis predavanja održanih u okviru kolokvija Inženjerske sekcije HMD-a
2015.
2014.