MISANU

PROGRAM

Predavanja na Logičkom seminaru možete uživo pratiti preko linka
https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a.
Ukoliko želite i da učestvujete u diskusiji, to možete preko linka
https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N
na kome prethodno treba napraviti nalog, t.j. popuniti registracioni formular koji se pojavi nakon klika.
Neulogovani korisnici mogu pratiti prenos predavanja na ovom linku (ali ne mogu postavljati pitanja osim putem chata):
https://miteam.mi.sanu.ac.rs/call/8HX5pHW3fhfr2vFnF/Sud4M5nyx6-CCpaW4etWS1ZEM4wCvSsPuSxPAQ9Yfs6

Petak, 28.02.2025. u 16:15, Kneza Mihaila 36, sala 301f i Online
Silvia Ghilezan, Mathematical Institute SANU; University of Novi Sad
PROOFS-AS-COMPUTATIONS PARADIGM: NEW CHALLENGES
The proofs-as-computations and formulae-as-types correspondence, also known as the Curry-Howard correspondence, is a foundational concept that connects logic and computation. The origins of this idea stem from the relationship between intuitionistic logic, lambda calculus and combinatory logic. Today, this correspondence underpins the formal verification of mathematical proofs and extends across various logical and computational frameworks, demonstrating its versatility in both mathematics and computer science. Due to this two-way correspondence the interplay between developments in logic and computation continues to shape both fields. In this talk, we focus on recent developments that ensure safe orchestrations of federated machine learning algorithms through the application of this correspondence.

Saša Popović, Mathematical Institute SANU
FROM THE HISTORY OF LOGIC IN SERBIA: ON SVETLANA KNJAZEV-ADAMOVIĆ'S (1931-2016) DOCTORAL DISERTATION
This year marks the 65th anniversary of Svetlana Knjazeva’s research stay in Poland, at the University of Warsaw and Polish Academy of Sciences. During her time in Warsaw, Knjazeva was preparing her doctoral dissertation on the semantics and logic of the so-called Lwów-Warsaw School which she defended in 1963 under the supervision of Mihailo Marković. The thesis was published sixty years ago in the form of a research monograph by the Institute of social sciences under the title Philosophy of the Lwów-Warsaw School. Knjazeva’s work on Polish logic was the second doctorate in logic defended at the University of Belgrade’s Faculty of Philosophy (following M. Marković’s dissertation from 1955). In this talk, we shall reconstruct Prof. Knjazev-Adamović’s academic curriculum vitae, with special emphasis on her contributions to the establishment of the studies of contemporary symbolic, i.e. mathematical logic at the Faculty of Philosophy, as well as the founding of the Logic Seminar in the Mathematical Institute of the Serbian Academy of Sciences and Arts (joint undertaking with S. Prešić, A. Kron, and D. Adamović).
This year also marks the 60th anniversary of the first ever graduate course in logic given in Belgrade by S. Prešić, A. Kron, D. Adamović, and S. Knjazeva.

OBAVEŠTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs

Beograd,
Srdacan pozdrav,
Predrag Tanovic
rukovodilac seminara