Позивамо вас на позивно предавање професорке Natasha Alechine и workshop „Logical Foundations for Probabilistic Methods“, који ће бити одржани 13. октобра 2026. године, са почетком у 10 часова, у Математичком институту САНУ, Кнеза Михаила 36, сала 301ф (трећи спрат).

Програм

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

О предавању „Probabilistic Temporal and Strategic Logics“

Natasha Alechina ће укратко представити временске логике и логике стратешких способности, у којима различити могући токови будућих догађаја имају различите вероватноће, као и неке од њихових примена у рачунарству. У наставку ће детаљније говорити о вероватносној временској логици за резоновање о политикама са ограничењима.

О предавачу

Natasha Alechina је професорка на Open University of the Netherlands and Flanders. Докторирала је из области логике на Универзитету у Амстердаму 1995. године. Њена истраживања усмерена су на логику и њене примене у вештачкој интелигенцији и вишeагентским системима, укључујући стратешко резоновање, верификацију и синтезу, норме, одговорност и безбедну вештачку интелигенцију.

Објавила је више од 150 радова на међународним конференцијама и у научним часописима. Главна је уредница часописа Journal of Logic, Language and Information (JoLLI) и уредница часописа Artificial Intelligence (AIJ).