National Institute of the Republic of Serbia
ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζωῶν τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν
Computational logic sits at the core of today’s technological era: it provides the formal foundations and practical methods for representing knowledge, automating reasoning, verifying software and hardware, and building trustworthy intelligent systems. As AI is increasingly deployed in high-impact settings, computational logic offers tools to make systems more transparent, reliable, and verifiable—connecting rigorous theory with real-world computational practice.
Probabilistic logic (or probability logic) is a name for the branch of mathematical logic devoted to the study of reasoning with the presence of uncertainty, where uncertainty is represented in the terms of probability. One can found traces of reasoning about probability in the work of scholars such as Gottfried Wilhelm Leibnitz, George Boole and many others, but the modern era of probability logic has started with the work of Jerome Keisler in the mid seventies of the XX century.
In 2004, professors Miodrag Rasković (1951 - 2025), Zoran Marković (1948 - 2025), Zoran Ognjanović, Nebojša Ikodinović and Dragan Radojević have started an informal seminar for probability logic at the Mathematical Institute of Serbian Academy of Sciences and Arts. As a consequence of the steady growth of the number of researchers and graduate students that have joined the seminar, in 2008 it became an official seminar of the Mathematical Institute. Besides their original results, the members of the seminar often presents contemporary research in areas related to probability logic.
Since the seminar was initiated in 2004 up to 2025, it was led by Professor Rašković. From 2025 onwards, Professor Ikodinović has been in charge of the seminar.
SEMINAR PROGRAMS