Pozivamo vas na pozivno predavanje profesorke Natasha Alechine i workshop „Logical Foundations for Probabilistic Methods“, koji će biti održani 13. oktobra 2026. godine, sa početkom u 10 časova, u Matematičkom institutu SANU, Kneza Mihaila 36, sala 301f (treći sprat).
Program
10:00–10:10 — Opening
10:10–11:10 — Invited Talk: Natasha Alechina (Open University of the Netherlands and Flanders)
Probabilistic Temporal and Strategic Logics
11:10–11:30 — Coffee break
11:30–12:00 — Dragan Doder (Utrecht University)
Quantitative Approaches to Formal Argumentation
12:00–12:30 — Aleksandar Perović (University of Belgrade)
Sources of Non-Compactness
12:30–13:00 — Šejla Dautović (Mathematical Institute of the Serbian Academy of Sciences and Arts)
First-Order Branching Time Logic with Probability Operators
O predavanju „Probabilistic Temporal and Strategic Logics“
Natasha Alechina će ukratko predstaviti vremenske logike i logike strateških sposobnosti, u kojima različiti mogući tokovi budućih događaja imaju različite verovatnoće, kao i neke od njihovih primena u računarstvu. U nastavku će detaljnije govoriti o verovatnosnoj vremenskoj logici za rezonovanje o politikama sa ograničenjima.
O predavaču
Natasha Alechina je profesorka na Open University of the Netherlands and Flanders. Doktorirala je iz oblasti logike na Univerzitetu u Amsterdamu 1995. godine. Njena istraživanja usmerena su na logiku i njene primene u veštačkoj inteligenciji i višeagentskim sistemima, uključujući strateško rezonovanje, verifikaciju i sintezu, norme, odgovornost i bezbednu veštačku inteligenciju.
Objavila je više od 150 radova na međunarodnim konferencijama i u naučnim časopisima. Glavna je urednica časopisa Journal of Logic, Language and Information (JoLLI) i urednica časopisa Artificial Intelligence (AIJ).
